Does anyone have experience with anonymous submission with links to coq sources. This would be a possibility, but does not support linking to line numbers: https://github.com/tdurieux/anonymous_github
we created a tarball (with every file owned by
root/root) and submitted it to some (ad-hoc, non-long-term) archiving service. I don't think line number refs as anonymous URLs are possible without some special service. Some colleagues also resorted to making dummy GitHub accounts.
What I've done in the past is to create a new github account and a new repository and push a snapshot of the code there.
Some calls allowed anonymized attachments as tarballs.
I've never asked a program chair to add such an option, but sometimes it might make sense. HotCRP seems to have good support for it.
Last updated: Sep 26 2023 at 11:01 UTC