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

Prevent adding "--prune --prune-tags" when run from toolbar #8465

Merged
merged 1 commit into from Sep 18, 2020
Merged

Prevent adding "--prune --prune-tags" when run from toolbar #8465

merged 1 commit into from Sep 18, 2020

Conversation

ghost
Copy link

@ghost ghost commented Sep 17, 2020

Fixes #8463
Continuation #8433

Screenshots

Before

image

After

image

Test methodology

  • Manual
  • Unit Tests

Test environment(s)

  • Git Extensions 3.4.3.9999
  • Build d4b0f48
  • Git 2.28.0.windows.1
  • Microsoft Windows NT 10.0.19041.0
  • .NET Framework 4.8.4220.0
  • DPI 96dpi (no scaling)

✒️ I contribute this code under The Developer Certificate of Origin.

@ghost ghost self-assigned this Sep 17, 2020
@codecov
Copy link

codecov bot commented Sep 17, 2020

Codecov Report

Merging #8465 into master will increase coverage by 0.09%.
The diff coverage is 100.00%.

@@            Coverage Diff             @@
##           master    #8465      +/-   ##
==========================================
+ Coverage   53.01%   53.11%   +0.09%     
==========================================
  Files         869      882      +13     
  Lines       62066    62380     +314     
  Branches    11302    11349      +47     
==========================================
+ Hits        32906    33131     +225     
- Misses      26502    26579      +77     
- Partials     2658     2670      +12     
Flag Coverage Δ
#production 41.02% <100.00%> (+0.04%) ⬆️
#tests 94.32% <ø> (+0.06%) ⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

@RussKie RussKie merged commit 4b2a5d1 into gitextensions:master Sep 18, 2020
@ghost ghost added this to the 4.0 milestone Sep 18, 2020
@RussKie
Copy link
Member

RussKie commented Sep 18, 2020

Thank you

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

2 participants