post-submission repo housekeeping :-)