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
How to apply hotfixes?
Suppose you are working with the
tested branch and you find that something fishy happened to it.
You contact the CasADi developers, who will try to make a fix for it, in the form of commits to the
You can check whether such hot-fix commits resolve the issue without waiting for the trunktesterbot to merge in those commits into
git stash && git cherry-pick << hash(es) of the fixing commits >> && git stash pop
Go ahead, check if the hot-fix helps and provide feedback to the CasADi developers.