Commit graph

7 commits

Author SHA1 Message Date
Paul Chavard
ddb230899c chore(actions): update github actions 2022-10-20 11:55:10 +02:00
Pierre de La Morinerie
ed4e065bc1 ci: update the 'rebase' github action
This fixes a bug where rebasing wouldn't trigger branch checks again.
2021-06-22 08:33:15 +02:00
Pierre de La Morinerie
44765e362b github: fix trailing whitespace 2020-05-28 13:53:01 +00:00
Pierre de La Morinerie
cfb66490d3 github: update rebase action
Update from 1.2 to 1.3.1:

- Allows to rebase PRs on forks (as long as the submitter checked "allow edits from maintainers").
- Less workarounds
2020-05-28 13:53:01 +00:00
Pierre de La Morinerie
4eb7d854a9 workflows: fix trailing whitespace 2020-01-28 15:48:02 +01:00
Pierre de La Morinerie
f7128e81da
workflows: update auto-rebase bot
Update to latest version of the auto-rebase bot
2020-01-28 15:38:32 +01:00
Pierre de La Morinerie
ff3f4774e8 Add a Github Actions workflow for automatic rebase
Add /rebase to a comment to trigger an automatic rebase.
2019-11-21 14:51:52 +01:00