-
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
Workflows which use a bot to merge should remove branches if requested. Expose the flag so that bots can request know this.