;dev: comment
This commit is contained in:
parent
814da1207a
commit
748e4e8e5d
@ -36,7 +36,7 @@ ciwait() {
|
|||||||
sleep $MAINPUSHDELAY
|
sleep $MAINPUSHDELAY
|
||||||
}
|
}
|
||||||
|
|
||||||
# ensure git's use of pager doesn't stop progress
|
# ensure git's output paging doesn't stop progress
|
||||||
export PAGER=cat
|
export PAGER=cat
|
||||||
|
|
||||||
echo "latest local commits are:"
|
echo "latest local commits are:"
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user