arXiv: create an issue on GitHub

Provide a button to create new issue on GitHub

Fra 11.08.2020. Se den seneste versjonen.

Dette er versjoner av dette scriptet hvor koden ble oppdatert. Vis alle versjoner.