For the longest time I’ve either picked VirtualBox or less often VMware whenever I needed a virtual machine. Only a few months ago I learned at work that Windows 10 comes with its own Hypervisor called Hyper-V. Usually you have to enable Hyper-V, but then it’s really easy to use.
As a bonus note, if you have Docker installed, you may see it running a Linux VM in Hyper-V.
It’s by no means a secret thing and Google will be the first to tell you, but by the off chance that someone hasn’t thought about it, here’s just the command how to do it.
git fetch origin pull/<id>/head:<branch>
<id> refers to the pull request id on GitHub
<branch> refers to a custom branch name of your choosing
Note: You can’t push back changes, but you can push them to your repository and create a new pull request.
Since we’re merging pull requests manually at SFML, it’s a command I’m using very frequently.