##// END OF EJS Templates
pull-requests: changed the order of close-branch after merge, so we don't leave open heads....
pull-requests: changed the order of close-branch after merge, so we don't leave open heads. Branches will be closed, and then merged based on the close commit. This is a proper and recommended workflow for feature branches and close option.

File last commit:

r3140:00e2e53b default
r4436:37e7e17e default
Show More
overlays.nix
3 lines | 18 B | text/x-nix | NixLexer
self: super: {
}