#!/bin/sh -e
git-ignore-elf
git add -Av
git commit
git push