testing gh merge
Merge pull request #69 from Dovetail-Automata/gh-merge-test

testing gh merge--remove foo