# This file should be ignored by cargo watch, but not by git
.github