arXiv: create an issue in GitHub

Provide a button to create new issue in GitHub

Versione datata 11/08/2020. Vedi la nuova versione l'ultima versione.

queste sono le versioni di questo script in cui il codice è stato aggiornato Visualizza tutte le versioni.