arXiv: create an issue on GitHub

Provide a button to create new issue on GitHub

Fra og med 11.08.2020. Se den nyeste version.

Dette er versioner af dette script, hvor koden er blevet opdateret. Vis alle versioner.