Patrick Steinhardt <ps@xxxxxx> writes: > If we had a USE_THE_REPOSITORY_VARIABLE macro that guards declarations > of: > > - `the_repository` > > - `the_hash_algo` > > - Functions that implicitly rely on either of the above. > > Then you could prove that a given code unit does not rely on any of the > above anymore by not declaring that macro. ;-)