Remove or Update access for civicrm-docs repo on GitHub
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 :-)