2018-09-12 | Bernd Edlinger | pick-to-branch: Update active branches | blob | commitdiff | raw |
2017-07-26 | Pauli | Modifications to pick-to-branch script. | blob | commitdiff | raw | diff to current |
2017-07-04 | Pauli | Make the final question before push have a _yes_/_no_... | blob | commitdiff | raw | diff to current |
2017-03-13 | Rich Salz | Merge branch 'master' of git.openssl.org:tools | blob | commitdiff | raw | diff to current |
2017-03-03 | Rich Salz | Add pick-to-branch | blob | commitdiff | raw | diff to current |