docs/reference/OTTR_Template-main/.github/automatic-issues/set-repo-settings.md

In jhudsl/leanbuild: Companion Tools for Open-Source Tools for Training Resources (OTTR)

For more information on these settings see instructions in Starting a new OTTR course.

• [ ] This course repository is set to public.

• [ ] Github secret GH_PAT has been set Name: GH_PAT value: A personal access token following these instructions. Underneath Select scopes, check both repo and workflow. Then copy the PAT and save as the value.

• [ ] GitHub pages is turned on

• [ ] Go to Settings > Pages. Underneath Source, choose main for the branch and select the docs folder. Then click Save.

• [ ] Check Enforce HTTPS.

• [ ] Set branch protections settings

• [ ] main branch has been set up:
  • [ ] Require pull request reviews before merging box is checked.
  • [ ] Require status checks to pass before merging box is checked.
  • [ ] Underneath that Require branches to be up to date before merging box is checked.

• [ ] Click Save at the bottom of the page!

• [ ] Customize GitHub actions for what you will need in this course.

jhudsl/leanbuild documentation built on April 17, 2025, 3:15 p.m.