Skip to content

Latest commit

 

History

History
5 lines (5 loc) · 494 Bytes

maintenance.md

File metadata and controls

5 lines (5 loc) · 494 Bytes

Maintenance playbook

  1. Check out a pull request: git fetch origin pull/[id]/head:merge-checkout then git checkout merge-checkout
  2. Host locally, check everything works: (Assuming you have python) python -m http.server
  3. Merge the PR!
  4. Delete the branch for your local (so you can checkout the next one): git branch -d merge-checkout