Skip to content

Conversation

dkm
Copy link
Member

@dkm dkm commented Sep 24, 2025

Major refactor.

  • can use a config file
  • can be used for creating "upstreaming" PR
  • can be used for creating "sync with upstream" PR

CohenArthur and others added 20 commits March 11, 2025 17:58
Renamed some cli options, drop the "short" tag for github_project_owner.
With the "upstream" command, we can create a PR to use the existing CI.
This PR should target the upstream base revision, so this new
--github-upstream-base is used to get the name of this new branch and
the upstream revision is used and pushed on the remote.
As the branch does not exist locally, need to add the extra refs/heads
prefix.
It's probably better to have this as a setting in .ssh/config, or export
GIT_SSH_COMMAND before invoking gerris:

 https://git-scm.com/docs/git#Documentation/git.txt-GITSSHCOMMAND
All options can be set in the config file.
Command line options override values from the config file, if any.
Makes the default values a bit hidden (previously handled by clap).
@dkm dkm changed the title dkm/upstream command Major refactor Sep 24, 2025
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