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

Show branches before tags in the revision grid. #5077

Merged
merged 1 commit into from Jun 13, 2018

Conversation

jbialobr
Copy link
Member

Fixes #5076.

Screenshots before and after (if PR changes UI):

Before:
gitext
After:
gitext

@codecov
Copy link

codecov bot commented Jun 13, 2018

Codecov Report

Merging #5077 into master will increase coverage by 0.02%.
The diff coverage is 0%.

@@            Coverage Diff             @@
##           master    #5077      +/-   ##
==========================================
+ Coverage   34.61%   34.64%   +0.02%     
==========================================
  Files         565      565              
  Lines       44637    44640       +3     
  Branches     6170     6173       +3     
==========================================
+ Hits        15451    15465      +14     
+ Misses      28427    28418       -9     
+ Partials      759      757       -2

.

Move the selected branch and its tracking reference to the beginning.
Copy link
Member

@gerhardol gerhardol left a comment

Choose a reason for hiding this comment

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

Great. Functionality as expected and clarified sorting.

@jbialobr jbialobr added this to the 3.00 milestone Jun 13, 2018
@jbialobr jbialobr merged commit 2d08395 into gitextensions:master Jun 13, 2018
@RussKie RussKie removed the ready label Jul 3, 2018
@gerhardol gerhardol mentioned this pull request Jul 16, 2018
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.

None yet

3 participants