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
Fix detached head for daily updates #8194
If HEAD is detached, switch to master.
DO NOT DELETE THIS TEXT
If you would like to test this pull request then please run: