Git & PR cheatsheet

# Start work on a branch (prefix with your username)
git switch -c <you>/short-description

# Stage, commit, push
git add -p
git commit -m "docs: fix provisioning steps"
git push -u origin HEAD

# Keep up to date
git fetch origin
git rebase origin/main

PR flow (Azure DevOps)

1. Push your branch.
2. Open a PR into main.
3. wiki-ci runs: front-matter, links, templates, spellcheck.
4. Reviewer (page owner) approves.
5. Merge → auto-publish to this site.

Auto-drafted PRs

PRs prefixed bot/ are AI-drafted from source changes. Review the diff and the cited sources before merging.