On Wed, Apr 04, 2012 at 08:33:27AM +0100, James wrote: > If I notice one - Mike S for instance - not picking on him especially > but in the olden days when he was 'quick-patch-McMike', and when I was > checking patches manually, I'd fix the tracker myself as I could see > who was the Rietveld owner.
Just leave those for Mike to push. We're not in any rush. > I've been pushing patches (Alberto, Pavel, Peter) for those trackers > that don't have a dev who has push access, yes, because we don't have a Frog meister. Or do we? I honestly can't remember what happened the last time it came up. > and as part of my bug shift > (on Saturdays if I remember) because I am aware of this, I'll skim > 'push' labeled trackers or 'review' labeled trackers and assign them > owners if I can. doesn't git-cl assign an owner? if not, it should. There's no reason why a human needs to do this manually. - Graham _______________________________________________ lilypond-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/lilypond-devel
