Technical practices

How to obtain the resulting code of merging a pull request in GitHub

If you use Github in your development workflow, you probably use pull requests. At some point, you might need to get the code resultant of merging that pull request. Or even the code in that pull request, before being merged. If it’s the case, you have to edit your .git/config file, which might look like […]

Scroll to top