Skip to content

Conversation

@lekhmanrus
Copy link
Collaborator

close #93

PR Checklist

Please check if your PR fulfills the following requirements:

  • Tests for the changes have been added (for bug fixes / features)
  • Docs have been added / updated (for bug fixes / features)

PR Type

What kind of change does this PR introduce?

  • Bugfix
  • Feature
  • Refactoring
  • Build related changes
  • Documentation
  • Other:

What is the current behavior?

Latest GitExtensions used for building Gerrit plugin.

Issue Number: #93

What is the new behavior?

Use GitHub version for GitExtensions build.

Does this PR introduce a breaking change?

  • Yes
  • No

Other information

@lekhmanrus lekhmanrus requested a review from gerhardol November 14, 2025 18:19
@lekhmanrus lekhmanrus merged commit 2dbb170 into gitextensions:master Nov 15, 2025
2 checks passed
@lekhmanrus lekhmanrus deleted the fix/93 branch November 15, 2025 09:20
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.

Gerrit plugin arrows not seen

3 participants