forked from biojava/biojava.github.io
-
Notifications
You must be signed in to change notification settings - Fork 0
/
convert.sh
20 lines (15 loc) · 760 Bytes
/
convert.sh
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
#!/bin/bash
now="$(date +'%Y%m%d')"
echo $now
branchname="master_$now"
echo $branchname
git checkout -b $branchname master # create and switch to the release branch
git push -u origin $branchname # push the release branch to the remote and track it
git checkout prepare_conversion # switch to branch that is before mediawiki conversion
# perform conversion
#../mediawiki_to_git_md/convert.py mediawiki_dump.xml
#git branch -d master # delete local master
#git push --delete origin master # delete remote master
#git remote prune origin # delete the remote tracking branch
#git branch -m master # rename the local branch to master
#git push origin master # make the new master branch remote