On a couple blog posts, talking about software projects I've seen a small thing that when clicked causes you to star the project on GitHub. It's about the same size as one of the things to like something on Facebook. I want one of those for this project. How do I make one of those?
GitHub – How to Create a ‘Star This Project on GitHub’ Link
github
Related Solutions
Nowadays, GitHub supports archiving repositories.
Archiving repositories
You can archive a repository to make it read-only for all users and indicate that it's no longer actively maintained. You can also unarchive repositories that have been archived.
...
- On GitHub, navigate to the main page of the repository.
Under your repository name, click ⚙ Settings.
Under "Danger Zone", click Archive this repository or Unarchive this repository.
- Read the warnings.
Type the name of the repository you want to archive or unarchive.
- Click I understand the consequences, archive this repository.
Read more at GitHub help on Archiving a GitHub repository
Not the way you're thinking of at least in GitHub.
What you could try is have two separate repos with their own access list using Organizations and Teams.
When you create teams in GitHub you can also restrict access to certain repositories per team.
So you can set up the following:
- dev-repo - Only add and allow access to developers
- audit-repo - Only add and allow access to code auditors
Then, when dev-repo has new commits, pull down the changes to your local and push them back up to audit-repo.
Auditors can then leave comments and issues on their version of the repository under audit-repo and you can then relay any issues you think dev-repo should know about without either developer or auditor team seeing each other via these private repos.
Best Answer
It looks like GitHub does provide this functionality - See https://buttons.github.io/