Closed serban-nicusor-toptal closed 10 months ago
Sorry, can merge once conflicts are resolved.
@serban-nicusor-toptal I would check that this had the expected result locally but I think what we want to do here is git merge master -X ours
to unconditionally accept the state of release/v2.33.0 over that of master
I'm not sure what's up with this PR, I've fixed the conflicts locally and committed.
Also for the above command I get Already up to date.
I think github is having a hiccup right now - I noticed something similar on a cmdstanpy pull request
I can't even close PRs, let's give it a few minutes.
Well would you look at that: https://www.githubstatus.com/
Submission Checklist
./runTests.py src/test/unit
make cpplint
Summary
Merge release v2.33.0 into master
Intended Effect
How to Verify
Side Effects
Documentation
Copyright and Licensing
Please list the copyright holder for the work you are submitting (this will be you or your assignee, such as a university or company):
By submitting this pull request, the copyright holder is agreeing to license the submitted work under the following licenses: