A repo for me to examine GitHub, particularly the Settings tab.