Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Various Makefile improvements #5326
Most importantly make it possible to load a
This is done by adding a
And to top if of also some more or less cosmetic changes.
Oh, I see - github remembers the squash/merge preference, and I routinely squash PRs here to avoid interim commits while contributors make requested changes to PRs.
On the flip side, it's easy to revert in case of emergency. Trade-offs, trade-offs! :-)