Skip to content

Conversation

lunny
Copy link
Member

@lunny lunny commented Sep 3, 2017

Since a pull request has already special branch, the branch option is no meaning for a pull request but only issues. So let's hide it.

@lunny lunny added the type/enhancement An improvement of existing functionality label Sep 3, 2017
@lunny lunny added this to the 1.3.0 milestone Sep 3, 2017
@lafriks
Copy link
Member

lafriks commented Sep 3, 2017

LGTM

@tboerger tboerger added the lgtm/need 1 This PR needs approval from one additional maintainer to be merged. label Sep 3, 2017
@appleboy
Copy link
Member

appleboy commented Sep 5, 2017

LGTM

@tboerger tboerger 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 Sep 5, 2017
@lafriks
Copy link
Member

lafriks commented Sep 5, 2017

outch.. sorry accidentally pressed "Update branch" in github web

@lunny lunny force-pushed the lunny/hide_branch_pull_request branch from 6c6b955 to 3d2704d Compare September 6, 2017 10:49
@lafriks
Copy link
Member

lafriks commented Sep 6, 2017

Make LG-TM work :)

@lafriks lafriks merged commit 95c408f into go-gitea:master Sep 6, 2017
@lunny lunny deleted the lunny/hide_branch_pull_request branch September 6, 2017 14:00
@go-gitea go-gitea locked and limited conversation to collaborators Nov 23, 2020
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

4 participants