Don't touch the version header if git describe hasn't changed
Don't touch the version header if git describe hasn't changed

pleroy/Principia,eggrobin/Principia,Norgg/Principia,Norgg/Principia,pleroy/Principia,mockingbirdnest/Principia,eggrobin/Principia,mockingbirdnest/Principia,pleroy/Principia,eggrobin/Principia,pleroy/Principia,mockingbirdnest/Principia,Norgg/Principia,mockingbirdnest/Principia,Norgg/Principia