#!/usr/bin/env bash
. demo_repo.sh

# Add and tag a dummy commit to refer to later.
drover_c() {
  add modified_file
  set_user some.committer
  c "$1"
  silent git tag -f pick_commit
  set_user you
  tick 1000
}

silent git push origin refs/remotes/origin/master:refs/branch-heads/9999
silent git config --add remote.origin.fetch \
  +refs/branch-heads/*:refs/remotes/branch-heads/*
silent git fetch origin

silent git checkout -B master origin/master