Bug 7090 follow-up, setting DBrev number when pushing