arXiv: create an issue in GitHub

Provide a button to create new issue in GitHub

Ekde 2020/08/11. Vidu La ĝisdata versio.

Ili estas versioj de tiu ĉi skripto, kie la kodo estas ĝisdatigita. Montri ĉiujn versiojn