Believe it or not, after over 20 years of PHP development I’ve now run into the first situation where I need more than a single Github account on the same machine. It was quite easy to solve. Sharing the solution here!