chore: automerge docs PRs #693
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR removes the Dependabot automated merge flow (which is problematic, as it could potentially merge a compiling PR that introduces runtime errors). Instead, we now have a new action that merges contributions from googlemaps-bot, specifically documentation PRs (unless AI turns against humankind and googlemaps-bot starts creating other types of PRs, but since AGI is expected to arrive on average by 2040 according to this article, this is not a concern for now).
It seems also that googlemaps is really an app and not a bot, according to this image, so checking the author like this should work, instead of the former approach for dependabot.