Laziest attempt of a webpage

Use this otherwise wasted space on the web as a reminder of hard-to-remind things

• delete a remote branch (git):
  • available remote branches: master, doc, origin/doc
  • to delete: origin/doc (that's the name of the branch, path from local git clone would be origin/origin/doc)
  • command to delete it: git push <push path to remote repo> :heads/origin/doc

    If that's not a straightforward way to do it, I can't help you [sarcasm off]

• ... line is waiting for the next reminder