Keep PR up-to-date and merge automatically#1035

Merged

8 commits merged intomasterfrom gh_action_pr

Apr 6, 2020

+34

Commits on Apr 6, 2020

First try
Julien Maffre
committed
Only some branches are kept up-to-date
Julien Maffre
committed
Remove sync label
Julien Maffre
committed
Update token
Julien Maffre
committed
Merge master into gh_action_pr
CCF [bot]
authored
Add debug
Julien Maffre
committed
Remove trace
Julien Maffre
committed
Merge branch 'master' into gh_action_pr
jumaffre
authored