Provide property to check ignore_revs (mostly for testing).
Write ignore_revs information to config file.