Open tomkerkhove opened 2 years ago
Provide automation to merge documentation PRs when the feature PR was merged so that we don't have to manually keep track of them.
Optionally this could be through slash commands.
Provide automation to merge documentation PRs when the feature PR was merged so that we don't have to manually keep track of them.
Optionally this could be through slash commands.