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

feat: support remotes renaming #468

Draft
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

maciej-baruch
Copy link

@maciej-baruch maciej-baruch commented Jul 23, 2023

Description

fixes #467

TODO if I get a go-ahead:

  • docs
  • example

What is the purpose of this pull request?

  • Bug fix
  • New Feature
  • Documentation update
  • Other

Before submitting the PR, please make sure you do the following

  • Read the Code of Conduct and follow the Commit Convention guidelines.
  • Check that there isn't already a PR that solves the problem the same way to avoid creating a duplicate.
  • Provide a description in this PR that addresses what the PR is solving, or reference the issue that it solves (e.g. fixes #123).
  • Ideally, include relevant tests that fail without this PR but pass with it.

@Zara603
Copy link

Zara603 commented Aug 3, 2023

@maciej-baruch

hi, great work.
do you have any plan to open a PR on this?

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.

Remotes under different name
2 participants