-
Ben Boeckel authored
Workflows which use a bot to merge should remove branches if requested. Expose the flag so that bots can request know this.
eac19b28
To find the state of this project's repository at the time of any of these versions, check out
the tags.