Indeed push/pull wasn't even the original design intention of Git. It was a tool...

		immibis 3 months ago \| parent \| context \| favorite \| on: GitHub pull requests were down Indeed push/pull wasn't even the original design intention of Git. It was a tool for one person to manage trees of emailed patch files.