Skip to content

Conversation

weiji14
Copy link
Member

@weiji14 weiji14 commented Oct 2, 2025

Description of proposed changes

Needed to fix fatal: could not read Username for 'https://github.com': No such device or address.

Address #4136 (comment), patches #3874 and #3861

Preview:

Reminders

  • Run make format and make check to make sure the code follows the style guide.
  • Add tests for new features or tests that would have caught the bug that you're fixing.
  • Add new public functions/methods/classes to doc/api/index.rst.
  • Write detailed docstrings for all functions/methods.
  • If wrapping a new module, open a 'Wrap new GMT module' issue and submit reasonably-sized PRs.
  • If adding new functionality, add an example to docstrings or tutorials.

Slash Commands

You can write slash commands (/command) in the first line of a comment to perform
specific operations. Supported slash command is:

  • /format: automatically format and lint the code

Needed to fix `fatal: could not read Username for 'https://github.com': No such device or address`.
@weiji14 weiji14 self-assigned this Oct 2, 2025
@weiji14 weiji14 added maintenance Boring but important stuff for the core devs skip-changelog Skip adding Pull Request to changelog labels Oct 2, 2025
@weiji14 weiji14 added this to the 0.17.0 milestone Oct 2, 2025
@weiji14 weiji14 merged commit 663a3b8 into main Oct 2, 2025
10 checks passed
@weiji14 weiji14 deleted the ci/persist-git-creds branch October 2, 2025 03:43
@weiji14
Copy link
Member Author

weiji14 commented Oct 2, 2025

Thanks @seisman, confirmed to be working now, see trigger after comment at #4134 (comment) 🎉

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
maintenance Boring but important stuff for the core devs skip-changelog Skip adding Pull Request to changelog
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants