#!/bin/sh
set -eu
git reset HEAD "$@"
