21
A new git collaboration service
(pr.pico.sh)
Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!
Cross posting is strongly encouraged in the instance. If you feel your post or another person's post makes sense in another community cross post into it.
Hope you enjoy the instance!
Rules
Follow the wormhole through a path of communities !webdev@programming.dev
Neat hack, but IMO this just loses waaay too many features and UX that Github et al. have. Only masochists will use this. Here are a few I can think of:
git push
(I've still going to want to make a branch), and clicking on the "create a PR" link. But you've also made updating a PR way more of a pain - it wasgit push
, now it's... I dunno some long command I don't remember and looking up a PR number in the web interface?// Dave: I agree
under comments?packages.json
)I guess some of those are fixable, but overall this seems like a clever hack but very clunky.
I guess it's better than a mailing list at least.