github_merge_sign 1.1.0
Tool to merge and GPG sign a github PR. This replicates the functionality of the Github merge button, adding GPG signing.
Gemfile:
=
In die Zwischenablage kopieren
Kopiert!
installieren:
=
Versionen:
- 1.1.0 - June 19, 2020 (9,5 KB)
- 1.0.0 - June 30, 2017 (9,5 KB)
- 0.1.0.test2 - June 30, 2017 (9 KB)
- 0.1.0.test1 - June 30, 2017 (9,5 KB)
Besitzer:
Pushed by:
Autoren:
-
Government Digital Service
SHA 256-Prüfsumme:
54b86676f62f548655a21a1104c776b362d3748939c2101ce5bf6b66f8326e1e