I accidentally pushed a commit to Stan’s develop branch directly. I didn’t know I had the power to do so (we have branch protection turned on). I just removed the commit and we’re back to where we were before I did that.
Just FYI, the change was updating the math library to a branch (I’m working on the build branch). It was never meant to be merged directly.
Anyway, things are back to normal now.