We can choose not to put this into GitHub, which is fine.

It can be source controlled elsewhere.

Developers will need to remember to include it, otherwise they won't get the default behaviour that's expected.