update: git pull init: git init git remote add -f -t "$(master)" -m "$(master)" origin "$(origin)" git merge origin git branch -m "$(master)" git config remote.origin.push +"refs/heads/$(master)":"refs/heads/$(master)" .PHONY: update init ortcut icon' href='/favicon.ico'/>
summaryrefslogtreecommitdiff
path: root/tags/80/96/20180708142057.GA32695@goofy.osamu.debian.net/debian
diff options
context:
space:
mode:
Diffstat (limited to 'tags/80/96/20180708142057.GA32695@goofy.osamu.debian.net/debian')
-rw-r--r--tags/80/96/20180708142057.GA32695@goofy.osamu.debian.net/debian0
1 files changed, 0 insertions, 0 deletions