Closed MiguelSavignano closed 4 years ago
Set HEAD_TO_MERGE to overwrite default GITHUB_HASH as head to merge
HEAD_TO_MERGE
GITHUB_HASH
Set
HEAD_TO_MERGE
to overwrite defaultGITHUB_HASH
as head to merge