Merge pull request #5517
66ef824a9fb3Unpublished
Actions

Unpublished Commit · Learn More

Repository Importing: This repository is still importing.

Merge pull request #5517

39c8099 contrib: make github-merge require signing (Wladimir J. van der Laan)

Provenance

Wladimir J. van der Laan <laanwj@gmail.com>	Authored on Dec 23 2014, 10:27
deadalnix	Pushed on May 14 2017, 22:04

Parents

Branches

Unknown

Tags

Unknown

Wladimir J. van der Laan <laanwj@gmail.com> committed rABC66ef824a9fb3: Merge pull request #5517 (authored by Wladimir J. van der Laan <laanwj@gmail.com>).Dec 23 2014, 10:28

Path

Size

contrib/

devtools/