Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Switch from vendored PubGrub to a fork #438

Merged
merged 1 commit into from
Nov 16, 2023
Merged

Switch from vendored PubGrub to a fork #438

merged 1 commit into from
Nov 16, 2023

Conversation

zanieb
Copy link
Member

@zanieb zanieb commented Nov 16, 2023

A fork will let us stay up to date with the upstream while replaying our work on top of it.

I expect a similar workflow to the RustPython-Parser fork we maintained, except that I wrote an automation to create tags for each commit on the fork (astral-sh/pubgrub#2) so we do not need to manually tag and document each commit.

To update with the upstream:

  • Rebase our fork's main branch on top of the latest changes in upstream's dev branch
  • Force push, overwriting our main branch history
  • Change the commit hash here to the last commit on main in our fork

Since we automatically tag each commit on the fork, we should never lose the commits that are dropped from main during rebase.

@@ -48,6 +47,7 @@ once_cell = { version = "1.18.0" }
petgraph = { version = "0.6.4" }
platform-info = { version = "2.0.2" }
plist = { version = "1.6.0" }
pubgrub = { git = "https://github.com/zanieb/pubgrub", rev = "46f1214fe6b7886709a35d8d2f2c0e1b56433b26" }
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think we should probably tag this branch, and just add the tag as a comment, like we did for the parser. Though I'm extremely open to better ideas...

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Behold my suggestion :) astral-sh/pubgrub#2

I think this will work well without the overhead?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I see no reason to comment with the tag since it should be trivial to find the tag for any commit?

@zanieb zanieb marked this pull request as ready for review November 16, 2023 19:32
@zanieb zanieb merged commit 832058d into main Nov 16, 2023
3 checks passed
@zanieb zanieb deleted the zanie/pubgrub-fork branch November 16, 2023 19:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants