Homepage GitHub

GitHub permissions update

Today I implemented a long overdue update of the member privileges and related settings on our GitHub organization. Please let me know if you lost access to something.