Remove or Update access for civicrm-docs repo on GitHub
The CiviCRM Docs repo on GitHub is currently unmaintained/unmanaged - it should be a mirror of the docs-publisher repo from GitLab.
I'd like to suggest that we do the following:
- Shut down the pull requests/issues tracker (I think the latter is already done!)
- Rename the repo to docs-publisher (the repo itself has very little to do with actual docs content)
- Set this up to mirror from docs-publisher on lab.
I initially had thought to just remove it but @eileen depends on it :-)