5 days ago
p3k dots

Github is not the end.

The lifecycle of a pull request.

You have three options to contribute to a repository:

  • Paste a patch on the web UI
  • Compare two local branches (you’ll see this only if you’re a collaborator on the repo)
  • Compare across forks

Relevant: Introduction to Tangled.

Relevant 2: git-pr – A pastebin supercharged for git collaboration.