Searching protocol for "push-permissions"
Add seabbs-bot as a push collaborator
Create GitHub PRs from local changes instantly.
Manage SSH deploy keys for GitLab.