arXiv: create an issue in GitHub

Provide a button to create new issue in GitHub

Fra 11.08.2020. Se den seneste versjonen.

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