Tools for IT maintainance

[brownsarahm]

Saving these notes in an accessible place.

We'll probably want to get @fmichonneau to weigh in on something like https://tigeroakes.com/posts/til-github-pages-two-branches-github-actions/ so we have a "training/proposed-changes/" site but... that's outside this specific discussion. Just dropping it here so we don't forget.

As an aside, we probably want to turn on bors https://bors.tech/ for this repo to better handle text-merging in PRs if we go down this route. I can attest to the utility of it from my own projects.

Originally posted by @Denubis in #126 (comment)

[Denubis]

So, I'm using bors.tech over in my primary work repo, and the benefit of it is when you've got a bunch of PRs each which would need rebasing to be merged.