Git: ignore file which contains an app's dev server port