3 Jun
2018
3 Jun
'18
4:04 a.m.
On Sun, Jun 03, 2018 at 01:42:26AM +0200, Robin Gareus wrote:
And this matters how?
git is completely decentralized. Most git repos do already exist,
mirrored, in various places simultaneously. If you only push your
project to github.com, and mirror it nowhere else, you're doing it wrong.
Issues, "pull requests", etc. are some of the ways GitHub extends git
features in a non-standardised, proprietary ways.