chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ca7cbec) | patch
Makefile: make deploy: Do not push random odd branches
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 25 Mar 2021 20:13:31 +0000 (20:13 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 25 Mar 2021 20:13:31 +0000 (20:13 +0000)
commitd471b149ff5a2a79b1bf33dcc70d744798da6622
tree8ed07c3d20f6336a08034bd64de8268f5b9657a7tree | snapshot
parentca7cbecf6061c80eac9f495c604d95f9118247dccommit | diff
Makefile: make deploy: Do not push random odd branches

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.