#!/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