[DiscordArchive] A PR to filter for non-merged commits ? What's that supposed to look like ?
[DiscordArchive] A PR to filter for non-merged commits ? What's that supposed to look like ?
Archived author: Tea • Posted: 2024-01-22T22:19:55.827000+00:00
Original source
but you have to do the rebase locally before making a pull request, dont push one that has old commit hashes that arent in target branch
Archived author: ZaDarkSide • Posted: 2024-01-22T22:20:32.945000+00:00
Original source
well you can force push but you mess everyones history
Archived author: Tea • Posted: 2024-01-22T22:21:13.803000+00:00
Original source
it doesnt matter for prs
Archived author: ZaDarkSide • Posted: 2024-01-22T22:21:41.757000+00:00
Original source
yeah for prs before they are merged you can do anything to them
Archived author: Tea • Posted: 2024-01-22T22:21:44.180000+00:00
Original source
only on public primary branches (which did actually get 2 or 3 force pushes over their lifetime)
Archived author: ZaDarkSide • Posted: 2024-01-22T22:22:23.274000+00:00
Original source
yeah was talking about the public ones, but not even that is such a big deal it's just 1 command to fix your locally history to match remote