-
-
Notifications
You must be signed in to change notification settings - Fork 5.5k
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
Possibility to delete source Branch #994
Comments
Mhh...surprisingly i found this gogs/gogs#3201 which indicates that was integrated into gogs but i could not find the matching commit... |
Do you mean something like #441? |
Maybe, reads like it is such an feature but i can not see such an button if i generate an pull request (using gitea v1.0.1). Maybe i look at the wrong place as the code means |
This feature got added to the latest master branch not to v1.0.1. We'll release v1.1.0 @ 24 feb |
Ok, thanks...i see it was merged one day after release of 1.0... 😄 |
Description
Like in Gitlab (i'm not realy sure about Github) there should be an option to delete the source branch whenver an pull request is merged.
The text was updated successfully, but these errors were encountered: