forked from biojava/biojava.github.io
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathconvert.sh
More file actions
20 lines (15 loc) · 762 Bytes
/
convert.sh
File metadata and controls
20 lines (15 loc) · 762 Bytes
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