Skip to content

git-instaweb: add short/long options#21529

Merged
Managor merged 1 commit intomainfrom
git-instaweb-updates
Mar 15, 2026
Merged

git-instaweb: add short/long options#21529
Managor merged 1 commit intomainfrom
git-instaweb-updates

Conversation

@nelsonfigueroa
Copy link
Member

Checklist

  • The page(s) are in the correct platform directories: common, linux, osx, windows, sunos, android, etc.
  • The page description(s) have links to documentation or a homepage.
  • The page(s) follow the content guidelines.
  • The page(s) follow the style guide.
  • The PR contains at most 5 new pages.
  • The PR is authored by me, or has been human-reviewed if it was created with AI or machine translation software.
  • The PR title conforms to the recommended templates.

@github-actions github-actions bot added the translation edit Changes to an existing translation page(s). label Mar 15, 2026
@Managor Managor merged commit bc238aa into main Mar 15, 2026
9 checks passed
@Managor Managor deleted the git-instaweb-updates branch March 15, 2026 14:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

translation edit Changes to an existing translation page(s).

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants