embeddedt
|
8307564336
|
Use SSH for propagators
|
2024-11-29 16:42:36 -05:00 |
|
embeddedt
|
fffb1031f7
|
Propagate via SSH
|
2024-11-29 16:41:58 -05:00 |
|
embeddedt
|
8f806e6285
|
Use shared branch list script
|
2023-07-12 19:30:37 -04:00 |
|
embeddedt
|
f77221d6d8
|
Fix missing newline [skip ci]
|
2023-06-19 20:58:51 -04:00 |
|
embeddedt
|
a72ebc4c26
|
Avoid printing "automatic merge went well" message [skip ci]
|
2023-06-13 17:53:05 -04:00 |
|
embeddedt
|
f7d66257fb
|
Allow resolving merge conflicts inside propagator [skip ci]
|
2023-06-13 17:52:31 -04:00 |
|
embeddedt
|
99e030ce27
|
Add script for auto-propagating changes to modern branches where possible [skip ci]
|
2023-06-11 20:44:39 -04:00 |
|