Repo for reproducing one bug in Upsource