#!/bin/bash

function gitPush() {
    git push origin HEAD;
}