]> gitweb.factorcode.org Git - factor.git/commit
projects / factor.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d86d39a) | patch
Fixed issue with collapsing branch names for pull requests
authornomennescio <nomennescio@factorcode.org>
Mon, 16 Oct 2023 11:35:52 +0000 (13:35 +0200)
committernomennescio <nomennescio@factorcode.org>
Mon, 16 Oct 2023 11:35:52 +0000 (13:35 +0200)
commit72bad0f16a049b90c6af5088086b88cfc942a0bb
tree054952b3e2fdf502e8674c0bb0b49e88d2bcd06atree | snapshot
parentd86d39ad3656a37407ffe30ffeef36d8df3a51e4commit | diff
Fixed issue with collapsing branch names for pull requests

CURRENT_BRANCH_FULL added to track info during Github builds. Can potentially be removed.
build.sh diff | blob | history
Factor programming language