User story #8314
closed
Rudder-dev merge from a PR url
Added by Benoît PECCATTE over 8 years ago.
Updated about 8 years ago.
Category:
Rudder dev tools
Description
rudder-dev can merge a PR given from an issue id.
It should be able to merge using a direct PR URL too.
- Status changed from New to In progress
- Assignee set to Benoît PECCATTE
- Status changed from In progress to Pending technical review
- Assignee changed from Benoît PECCATTE to Jonathan CLARKE
- Pull Request set to https://github.com/Normation/rudder-tools/pull/148
- Status changed from Pending technical review to Pending release
- % Done changed from 0 to 100
- Status changed from Pending release to Released
Also available in: Atom
PDF
Updated by