#!/bin/sh
git checkout --theirs "$1"
chmod 0777 "$1"
git add "$1"