The before_exit run is ok. This file must be kept unchanged under git control.