Skip to content

Conversation

@vnkmpf
Copy link
Contributor

@vnkmpf vnkmpf commented Feb 11, 2021

Add whitespace options to commit and compare views.

Fix #14173

@6543 6543 added the type/enhancement An improvement of existing functionality label Feb 11, 2021
@zeripath zeripath changed the title Whitespace in commits (#14173) Whitespace in commits Feb 11, 2021
@zeripath
Copy link
Contributor

Please do not push issue numbers in PR titles. This should be reserved for Backport numbers.

@GiteaBot GiteaBot added the lgtm/need 2 This PR needs two approvals by maintainers to be considered for merging. label Feb 11, 2021
@GiteaBot GiteaBot added lgtm/need 1 This PR needs approval from one additional maintainer to be merged. and removed lgtm/need 2 This PR needs two approvals by maintainers to be considered for merging. labels Feb 11, 2021
@vnkmpf
Copy link
Contributor Author

vnkmpf commented Feb 11, 2021

Okay, did not know that.

@lafriks lafriks added this to the 1.14.0 milestone Feb 12, 2021
@GiteaBot GiteaBot added lgtm/done This PR has enough approvals to get merged. There are no important open reservations anymore. and removed lgtm/need 1 This PR needs approval from one additional maintainer to be merged. labels Feb 13, 2021
@6543 6543 merged commit 487f2ee into go-gitea:master Feb 13, 2021
@go-gitea go-gitea locked and limited conversation to collaborators May 13, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

lgtm/done This PR has enough approvals to get merged. There are no important open reservations anymore. type/enhancement An improvement of existing functionality

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[Proposal] Ignore whitespace options in all diffs

5 participants