Still need the "Advanced GitHub Setup" section
Closed this issue · 2 comments
brian-rose commented
Relates to ongoing work described in #99
brian-rose commented
We can close this after #223 is merged
brian-rose commented
Closing now with the merger of #223