Julien Reichardt
|
00c6e478b7
|
Mark git repository as safe
|
2023-03-04 12:06:36 +01:00 |
|
Julien Reichardt
|
762d556e08
|
Fix git "dubious ownership" error
|
2023-03-03 17:53:48 +01:00 |
|
Julien Reichardt
|
bb7f06068b
|
Remove if condition in workflow
|
2022-10-29 12:02:31 +02:00 |
|
Julien Reichardt
|
93f74aedff
|
Use single quotes in if condition
|
2022-10-27 13:42:04 +02:00 |
|
Julien Reichardt
|
de72b7d7a4
|
Fix workflow yaml error
|
2022-10-25 13:12:40 +02:00 |
|
Julien Reichardt
|
e2cae8b878
|
Merge PRs in the update workflow
|
2022-10-23 23:15:24 +02:00 |
|
Julien Reichardt
|
4dff8de60e
|
Add merge workflow
|
2022-10-18 22:23:51 +02:00 |
|
Lctrs
|
fce664c8a8
|
fix: also run fedc at 1am to fasten auto-merge of update PRs
|
2022-10-15 09:48:15 +00:00 |
|
Julien Reichardt
|
449d8d5598
|
Update commits once a day
|
2022-10-08 14:30:28 +02:00 |
|