Skip to content

make regex more lenient#83

Merged
thesuhas merged 3 commits intomainfrom
suhas.thalanki/lenient-regex
Feb 12, 2026
Merged

make regex more lenient#83
thesuhas merged 3 commits intomainfrom
suhas.thalanki/lenient-regex

Conversation

@thesuhas
Copy link
Contributor

@thesuhas thesuhas commented Feb 12, 2026

To contribute to both Databricks Repos and Neon Repos, we often have multiple SSH keys with different upstream remotes. Here is an ssh config for example:

Include /Users/suhas.thalanki/.ssh/arca.ssh
Host github.com-emu
 HostName github.com
 IdentityFile ~/.ssh/github_key
 IdentitiesOnly yes
 User git
 AddKeysToAgent yes
 UseKeychain yes

Host github-neon.com
 HostName github.com
 IdentityFile ~/.ssh/neon_ssh_key
 IdentitiesOnly yes
 User git
 AddKeysToAgent yes
 UseKeychain yes

neon-release-pr does not accept hostnames other than github.com, causing regex to fail. This PR adds the ability to handle hostnames which have been modified.

@thesuhas thesuhas marked this pull request as ready for review February 12, 2026 18:56
@thesuhas thesuhas requested a review from a team as a code owner February 12, 2026 18:56
@thesuhas thesuhas requested review from jcgruenhage and removed request for a team February 12, 2026 18:56
Copy link
Contributor

@Shugenya Shugenya left a comment

Choose a reason for hiding this comment

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

Looks good, just please check the duplicated lines.

@thesuhas thesuhas merged commit 7ade015 into main Feb 12, 2026
4 checks passed
@thesuhas thesuhas deleted the suhas.thalanki/lenient-regex branch February 12, 2026 21:09
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