Add force push for the devel branch #21

Merged
aplanas merged 1 commits from add_force into main 2022-12-02 09:35:40 +01:00

1 Commits

Author SHA1 Message Date
Stephan Kulow
7b20c03256 Add force push for the devel branch
As devel branches can change in case of factory reverts we need to force
push. Factory branch shouldn't be affected, so not force pushing there
2022-12-02 09:12:11 +01:00