#!/bin/sh

FILE=$1
echo "Closes #$PR" >>$FILE
