search

futurelearn / squiddy

Github Actions bot
1 stars 1 forks source link

Introduce bubble_merge in squiddy repo #9

Closed elenatanasoiu closed 4 years ago

elenatanasoiu commented 4 years ago

So that squiddy can also do bubble merges on its own repo. Is this confusing?

Description of changes

Commenting @squiddy-bot merge on a PR will perform a bubble merge:

  1. rebase the PR from master
  2. add PR changes to the HEAD of master
  3. merge to master
  4. delete PR branch

This will have to be merged into master before the action can be triggered.