Update PR title when new commits are pushed to an existing PR - Githubissues

planemo-autoupdate / autoupdate

4 stars 6 forks source link

Update PR title when new commits are pushed to an existing PR #12

Closed simonbray closed 3 years ago

simonbray commented 3 years ago

e.g. https://github.com/galaxycomputationalchemistry/galaxy-tools-compchem/pull/129

simonbray commented 3 years ago

done, e.g. https://github.com/bgruening/galaxytools/pull/1085