encukou/ipa-tools — pull request #2 by tbabej (2014-10-21 13:12:51+00:00)
Title: Add automated checking for OID collision and unregistered OIDs

Adds a new configuration option, "oid-git", which specifies the
directory containing a git repository that serves as database
for OIDs.

The pushpatches.py tool has been extended to check for OID collision
and unregistered OIDs.