scripts/push

#!/bin/bash

set -e

git push -u origin master
git push -u github master
Adding push and release scripts. 2017-10-27 21:51:10 -07:00			`#!/bin/bash`

			`set -e`

55: Fix for missing tags/releases from Gitea and GitHub project hosting. 2018-01-17 20:27:09 -08:00			`git push -u origin master`
			`git push -u github master`