3 ms·
Do you really want JRandomUser to be able to add notes to your repository? What additional permisioning and hooks would you need to set up and maintain to allo
by shagie 4y ago
Do you really want JRandomUser to be able to add notes to your repository? What additional permisioning and hooks would you need to set up and maintain to allow JRandomUser to be able to add a note to a commit but not create a new commit? ... but they need to be able to create commits on well known branches in order to add issues. Can they make it so that mirrors run out of disk space by adding notes to all the commits or extremely large issues? Should people who have the ability to force push be able to rewrite the contents of anything anyone wrote as an issue or note?
This way leads to madness. I'm sure it would be possible... but these are not headaches that I want to have.
- nerdponx 4y agoBut it would be pretty nice if people with commit access could add notes directly to commits in Github.
- account42 4y ago> Do you really want JRandomUser to be able to add notes to your repository? Not any less than I want them to comment via the web interface. > Can they make it so that mirrors run out of disk space by adding notes to all the commits or extremely large issues? Better to solve that than to just not mirror the comments which is what is currently the case. You can always opt your mirror to not fetch notes if that is what you want to do.