projects / tools.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: baa1f43) | patch
pick-to-branch: warn if target remote is not in github.openssl.org
authorDr. David von Oheimb <David.von.Oheimb@siemens.com>
Thu, 20 Apr 2023 13:07:02 +0000 (15:07 +0200)
committerTomas Mraz <tomas@openssl.org>
Wed, 26 Apr 2023 13:33:10 +0000 (15:33 +0200)
commita652532d492dbe122952a39ccea6b92cec053b44
tree16c355febb1a72971181610f99c2188e83085d5ftree | snapshot
parentbaa1f4310dbeebcd0785ee7281155f5a99f6bdcdcommit | diff
pick-to-branch: warn if target remote is not in github.openssl.org

Fixes #141

Reviewed-by: Paul Dale <pauli@openssl.org>
Reviewed-by: Tomas Mraz <tomas@openssl.org>
(Merged from https://github.com/openssl/tools/pull/142)
review-tools/pick-to-branch diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.