Closed bjhargrave closed 6 months ago
I apologize for the inconvenience, but I had to force push an edit to main
. You'll have to redo your branch with something like ...
git fetch origin
git checkout -b new-branch origin/main
git cherry-pick old-branch
git push your-repo new-branch:old-branch
@russellb
Better solution is
git fetch origin
git rebase --onto origin/main main
git push --force fork
whatever works :)
it's going to break again once I flip the repo to public ... just fyi
I think we should have conversation about some of the logistics of this before we merge.
I think this is the conversation :-)
@bjhargrave This PR will probably have to be re-posted from a public fork. Apologies for the disruption.
Replaced by https://github.com/instructlab/dev-docs/pull/45
Closes https://github.com/instructlab/dev-docs/issues/12