Stream: Coq users

Topic: Anonymous submission of appendices


view this post on Zulip Bas Spitters (Sep 02 2020 at 08:59):

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

view this post on Zulip Karl Palmskog (Sep 02 2020 at 09:00):

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.

view this post on Zulip Clément Pit-Claudel (Sep 02 2020 at 14:12):

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.

view this post on Zulip Paolo Giarrusso (Sep 02 2020 at 14:28):

Some calls allowed anonymized attachments as tarballs.

view this post on Zulip Paolo Giarrusso (Sep 02 2020 at 14:30):

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: Feb 04 2023 at 20:02 UTC