Commit d34ebaa
GitHubPusher: add commits instead of resetting branch
Deleting and recreating the branch causes GitHub to close the
associated PR. Force-updating has the same effect on PR history.
Instead, only create the branch when it doesn't exist and commit
on top, so the PR stays open and accumulates commits naturally.
follow-up: #132
Co-Authored-By: Claude Opus 4.6 <[email protected]>1 parent ad18d61 commit d34ebaa
1 file changed
Lines changed: 7 additions & 10 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
169 | 169 | | |
170 | 170 | | |
171 | 171 | | |
172 | | - | |
| 172 | + | |
173 | 173 | | |
174 | 174 | | |
175 | 175 | | |
176 | 176 | | |
177 | 177 | | |
178 | 178 | | |
179 | | - | |
180 | | - | |
181 | | - | |
182 | | - | |
183 | | - | |
184 | | - | |
185 | | - | |
186 | | - | |
| 179 | + | |
| 180 | + | |
| 181 | + | |
| 182 | + | |
| 183 | + | |
187 | 184 | | |
188 | 185 | | |
189 | 186 | | |
190 | 187 | | |
191 | | - | |
| 188 | + | |
192 | 189 | | |
193 | 190 | | |
194 | 191 | | |
| |||
0 commit comments