release script: update default repository
commit9425586fc5258f41619fb2d72ba7423c75cb8074
authorAndreas Gohr <andi@splitbrain.org>
Mon, 27 Feb 2023 12:16:03 +0000 (27 13:16 +0100)
committerAndreas Gohr <andi@splitbrain.org>
Mon, 27 Feb 2023 12:16:03 +0000 (27 13:16 +0100)
tree5e274a9e51c41053d235c0d0702a95d46749087f
parent6ec4b074464648adafe951332c788a8da1a1eb83
release script: update default repository
.github/release.php