Merging a branch in GitHub - the hard way (4 mins read).

How to (kinda) merge two branches in GitHub using the underlying Git database API.
Back to /posts/, 2023, July 2023.
Merging a branch in GitHub - the hard way (4 mins read).

How to (kinda) merge two branches in GitHub using the underlying Git database API.