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