Skip to content

Remove bookmark_track from create, update README for fork workflows#36

Draft
MingweiSamuel wants to merge 3 commits intomainfrom
handle-forks
Draft

Remove bookmark_track from create, update README for fork workflows#36
MingweiSamuel wants to merge 3 commits intomainfrom
handle-forks

Conversation

@MingweiSamuel
Copy link
Copy Markdown
Member

Removed the bookmark_track call from execute_create — it's not needed
for push (jj git push uses git.push config) and tracking is a user
preference about fetch behavior, not create's responsibility.

Updated README: removed "remote hardcoded to origin" limitation, added
a "Fork Workflows" section explaining jj config set --repo git.push.

Co-authored-by: Infinity 🤖 infinity@hydro.run

MingweiSamuel added a commit that referenced this pull request May 4, 2026
Added jj::push_remote() which reads `git.push` from jj config, falling
back to "origin". This is threaded through:
- build() for pr_needs_push comparison (compares against push remote)
- execute_create() for bookmark_track

Removes the TODO comment about hardcoded "origin". Users with fork
workflows can now set `jj config set --repo git.push "fork"` and
jj-pr will compare/push against that remote.

Co-authored-by: Infinity 🤖 <infinity@hydro.run>
PR: #36
MingweiSamuel added a commit that referenced this pull request May 4, 2026
Fetch `headRepositoryOwner { login }` in the PR GraphQL query and store
it as `head_repo_owner: Option<String>` on GhPr. This enables future
filtering/disambiguation for fork-based workflows where multiple users
might have branches with the same name.

Co-authored-by: Infinity 🤖 <infinity@hydro.run>
PR: #36
MingweiSamuel added a commit that referenced this pull request May 4, 2026
Removed the bookmark_track call from execute_create — it's not needed
for push (jj git push uses git.push config) and tracking is a user
preference about fetch behavior, not create's responsibility.

Updated README: removed "remote hardcoded to origin" limitation, added
a "Fork Workflows" section explaining `jj config set --repo git.push`.

Co-authored-by: Infinity 🤖 <infinity@hydro.run>
PR: #36
@MingweiSamuel MingweiSamuel changed the base branch from install-aliases to main May 4, 2026 21:06
MingweiSamuel added a commit that referenced this pull request May 5, 2026
Added jj::push_remote() which reads `git.push` from jj config, falling
back to "origin". This is threaded through:
- build() for pr_needs_push comparison (compares against push remote)
- execute_create() for bookmark_track

Removes the TODO comment about hardcoded "origin". Users with fork
workflows can now set `jj config set --repo git.push "fork"` and
jj-pr will compare/push against that remote.

Co-authored-by: Infinity 🤖 <infinity@hydro.run>
PR: #36

Resolve merge conflicts by combining both tracked_bookmarks and push_remote parameters

The conflict arose because two changes landed on the same code:
1. `ryokvxyk` (rebase destination) added a `tracked_bookmarks` parameter to `pr_dag::build()` and reformatted calls to multi-line.
2. `uspmwzsl` added a `push_remote` parameter to `pr_dag::build()`.

Resolution: The `build()` function signature now accepts both parameters
(`tracked_bookmarks` and `push_remote`), and all call sites pass both arguments.
Tests use "origin" as the push_remote value. All 33 tests pass.

Co-authored-by: Infinity 🤖 <infinity@hydro.run>
PR: #36
MingweiSamuel added a commit that referenced this pull request May 5, 2026
Fetch `headRepositoryOwner { login }` in the PR GraphQL query and store
it as `head_repo_owner: Option<String>` on GhPr. This enables future
filtering/disambiguation for fork-based workflows where multiple users
might have branches with the same name.

Co-authored-by: Infinity 🤖 <infinity@hydro.run>
PR: #36
MingweiSamuel added a commit that referenced this pull request May 5, 2026
Removed the bookmark_track call from execute_create — it's not needed
for push (jj git push uses git.push config) and tracking is a user
preference about fetch behavior, not create's responsibility.

Updated README: removed "remote hardcoded to origin" limitation, added
a "Fork Workflows" section explaining `jj config set --repo git.push`.

Co-authored-by: Infinity 🤖 <infinity@hydro.run>
PR: #36
@MingweiSamuel MingweiSamuel changed the base branch from main to discover-prs May 5, 2026 00:28
MingweiSamuel added a commit that referenced this pull request May 5, 2026
Added jj::push_remote() which reads `git.push` from jj config, falling
back to "origin". This is threaded through:
- build() for pr_needs_push comparison (compares against push remote)
- execute_create() for bookmark_track

Removes the TODO comment about hardcoded "origin". Users with fork
workflows can now set `jj config set --repo git.push "fork"` and
jj-pr will compare/push against that remote.

Co-authored-by: Infinity 🤖 <infinity@hydro.run>
PR: #36

Resolve merge conflicts by combining both tracked_bookmarks and push_remote parameters

The conflict arose because two changes landed on the same code:
1. `ryokvxyk` (rebase destination) added a `tracked_bookmarks` parameter to `pr_dag::build()` and reformatted calls to multi-line.
2. `uspmwzsl` added a `push_remote` parameter to `pr_dag::build()`.

Resolution: The `build()` function signature now accepts both parameters
(`tracked_bookmarks` and `push_remote`), and all call sites pass both arguments.
Tests use "origin" as the push_remote value. All 33 tests pass.

Co-authored-by: Infinity 🤖 <infinity@hydro.run>
PR: #36
MingweiSamuel added a commit that referenced this pull request May 5, 2026
Fetch `headRepositoryOwner { login }` in the PR GraphQL query and store
it as `head_repo_owner: Option<String>` on GhPr. This enables future
filtering/disambiguation for fork-based workflows where multiple users
might have branches with the same name.

Co-authored-by: Infinity 🤖 <infinity@hydro.run>
PR: #36
MingweiSamuel added a commit that referenced this pull request May 5, 2026
Removed the bookmark_track call from execute_create — it's not needed
for push (jj git push uses git.push config) and tracking is a user
preference about fetch behavior, not create's responsibility.

Updated README: removed "remote hardcoded to origin" limitation, added
a "Fork Workflows" section explaining `jj config set --repo git.push`.

Co-authored-by: Infinity 🤖 <infinity@hydro.run>
PR: #36
@MingweiSamuel MingweiSamuel changed the base branch from discover-prs to main May 5, 2026 16:14
MingweiSamuel added a commit that referenced this pull request May 5, 2026
Added jj::push_remote() which reads `git.push` from jj config, falling
back to "origin". This is threaded through:
- build() for pr_needs_push comparison (compares against push remote)
- execute_create() for bookmark_track

Removes the TODO comment about hardcoded "origin". Users with fork
workflows can now set `jj config set --repo git.push "fork"` and
jj-pr will compare/push against that remote.

Co-authored-by: Infinity 🤖 <infinity@hydro.run>
PR: #36

Resolve merge conflicts by combining both tracked_bookmarks and push_remote parameters

The conflict arose because two changes landed on the same code:
1. `ryokvxyk` (rebase destination) added a `tracked_bookmarks` parameter to `pr_dag::build()` and reformatted calls to multi-line.
2. `uspmwzsl` added a `push_remote` parameter to `pr_dag::build()`.

Resolution: The `build()` function signature now accepts both parameters
(`tracked_bookmarks` and `push_remote`), and all call sites pass both arguments.
Tests use "origin" as the push_remote value. All 33 tests pass.

Co-authored-by: Infinity 🤖 <infinity@hydro.run>
PR: #36
MingweiSamuel added a commit that referenced this pull request May 5, 2026
Fetch `headRepositoryOwner { login }` in the PR GraphQL query and store
it as `head_repo_owner: Option<String>` on GhPr. This enables future
filtering/disambiguation for fork-based workflows where multiple users
might have branches with the same name.

Co-authored-by: Infinity 🤖 <infinity@hydro.run>
PR: #36
MingweiSamuel added a commit that referenced this pull request May 5, 2026
Removed the bookmark_track call from execute_create — it's not needed
for push (jj git push uses git.push config) and tracking is a user
preference about fetch behavior, not create's responsibility.

Updated README: removed "remote hardcoded to origin" limitation, added
a "Fork Workflows" section explaining `jj config set --repo git.push`.

Co-authored-by: Infinity 🤖 <infinity@hydro.run>
PR: #36
MingweiSamuel added a commit that referenced this pull request May 5, 2026
Added jj::push_remote() which reads `git.push` from jj config, falling
back to "origin". This is threaded through:
- build() for pr_needs_push comparison (compares against push remote)
- execute_create() for bookmark_track

Removes the TODO comment about hardcoded "origin". Users with fork
workflows can now set `jj config set --repo git.push "fork"` and
jj-pr will compare/push against that remote.

Co-authored-by: Infinity 🤖 <infinity@hydro.run>
PR: #36

Resolve merge conflicts by combining both tracked_bookmarks and push_remote parameters

The conflict arose because two changes landed on the same code:
1. `ryokvxyk` (rebase destination) added a `tracked_bookmarks` parameter to `pr_dag::build()` and reformatted calls to multi-line.
2. `uspmwzsl` added a `push_remote` parameter to `pr_dag::build()`.

Resolution: The `build()` function signature now accepts both parameters
(`tracked_bookmarks` and `push_remote`), and all call sites pass both arguments.
Tests use "origin" as the push_remote value. All 33 tests pass.

Co-authored-by: Infinity 🤖 <infinity@hydro.run>
PR: #36
MingweiSamuel added a commit that referenced this pull request May 5, 2026
Fetch `headRepositoryOwner { login }` in the PR GraphQL query and store
it as `head_repo_owner: Option<String>` on GhPr. This enables future
filtering/disambiguation for fork-based workflows where multiple users
might have branches with the same name.

Co-authored-by: Infinity 🤖 <infinity@hydro.run>
PR: #36
MingweiSamuel added a commit that referenced this pull request May 5, 2026
Removed the bookmark_track call from execute_create — it's not needed
for push (jj git push uses git.push config) and tracking is a user
preference about fetch behavior, not create's responsibility.

Updated README: removed "remote hardcoded to origin" limitation, added
a "Fork Workflows" section explaining `jj config set --repo git.push`.

Co-authored-by: Infinity 🤖 <infinity@hydro.run>
PR: #36
@MingweiSamuel MingweiSamuel changed the base branch from main to discover-prs May 5, 2026 16:38
Base automatically changed from discover-prs to main May 5, 2026 17:39
MingweiSamuel added a commit that referenced this pull request May 5, 2026
Added jj::push_remote() which reads `git.push` from jj config, falling
back to "origin". This is threaded through:
- build() for pr_needs_push comparison (compares against push remote)
- execute_create() for bookmark_track

Removes the TODO comment about hardcoded "origin". Users with fork
workflows can now set `jj config set --repo git.push "fork"` and
jj-pr will compare/push against that remote.

Co-authored-by: Infinity 🤖 <infinity@hydro.run>
PR: #36

Resolve merge conflicts by combining both tracked_bookmarks and push_remote parameters

The conflict arose because two changes landed on the same code:
1. `ryokvxyk` (rebase destination) added a `tracked_bookmarks` parameter to `pr_dag::build()` and reformatted calls to multi-line.
2. `uspmwzsl` added a `push_remote` parameter to `pr_dag::build()`.

Resolution: The `build()` function signature now accepts both parameters
(`tracked_bookmarks` and `push_remote`), and all call sites pass both arguments.
Tests use "origin" as the push_remote value. All 33 tests pass.

Co-authored-by: Infinity 🤖 <infinity@hydro.run>
PR: #36
MingweiSamuel added a commit that referenced this pull request May 5, 2026
Fetch `headRepositoryOwner { login }` in the PR GraphQL query and store
it as `head_repo_owner: Option<String>` on GhPr. This enables future
filtering/disambiguation for fork-based workflows where multiple users
might have branches with the same name.

Co-authored-by: Infinity 🤖 <infinity@hydro.run>
PR: #36
MingweiSamuel added a commit that referenced this pull request May 5, 2026
Removed the bookmark_track call from execute_create — it's not needed
for push (jj git push uses git.push config) and tracking is a user
preference about fetch behavior, not create's responsibility.

Updated README: removed "remote hardcoded to origin" limitation, added
a "Fork Workflows" section explaining `jj config set --repo git.push`.

Co-authored-by: Infinity 🤖 <infinity@hydro.run>
PR: #36
MingweiSamuel and others added 3 commits May 5, 2026 17:57
Added jj::push_remote() which reads `git.push` from jj config, falling
back to "origin". This is threaded through:
- build() for pr_needs_push comparison (compares against push remote)
- execute_create() for bookmark_track

Removes the TODO comment about hardcoded "origin". Users with fork
workflows can now set `jj config set --repo git.push "fork"` and
jj-pr will compare/push against that remote.

Co-authored-by: Infinity 🤖 <infinity@hydro.run>
PR: #36

Resolve merge conflicts by combining both tracked_bookmarks and push_remote parameters

The conflict arose because two changes landed on the same code:
1. `ryokvxyk` (rebase destination) added a `tracked_bookmarks` parameter to `pr_dag::build()` and reformatted calls to multi-line.
2. `uspmwzsl` added a `push_remote` parameter to `pr_dag::build()`.

Resolution: The `build()` function signature now accepts both parameters
(`tracked_bookmarks` and `push_remote`), and all call sites pass both arguments.
Tests use "origin" as the push_remote value. All 33 tests pass.

Co-authored-by: Infinity 🤖 <infinity@hydro.run>
PR: #36
Fetch `headRepositoryOwner { login }` in the PR GraphQL query and store
it as `head_repo_owner: Option<String>` on GhPr. This enables future
filtering/disambiguation for fork-based workflows where multiple users
might have branches with the same name.

Co-authored-by: Infinity 🤖 <infinity@hydro.run>
PR: #36
Removed the bookmark_track call from execute_create — it's not needed
for push (jj git push uses git.push config) and tracking is a user
preference about fetch behavior, not create's responsibility.

Updated README: removed "remote hardcoded to origin" limitation, added
a "Fork Workflows" section explaining `jj config set --repo git.push`.

Co-authored-by: Infinity 🤖 <infinity@hydro.run>
PR: #36
Comment thread README.md
Comment on lines +150 to +158
If you push to a personal fork instead of the upstream repo, configure jj's push remote:

```sh
jj config set --repo git.push "fork"
```

jj-pr reads this setting to determine which remote to compare bookmarks against for push detection. `gh pr create`
automatically handles cross-repo PRs when you push to a fork.

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

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

Needs to be updated? up to the user to set the remote tracking?

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.

1 participant