[#32] "make release" will now cause "github fix" to stop.