On Tue, Feb 19, 2013 at 11:26:09AM -0500, Behdad Esfahbod wrote: > On 02/19/2013 11:22 AM, Lóránt Pintér wrote: > > I just realized that github is not the freshest source for HarfBuzz. :) > > Anyway, thanks for the quick reply, it is indeed fixed in the current head. > > Ah. Right. I have to remember to push there manually. Is there a way to > make github follow an external repo automatically?
You can set multiple push url's: http://stackoverflow.com/a/12795747 Regards, Khaled _______________________________________________ HarfBuzz mailing list [email protected] http://lists.freedesktop.org/mailman/listinfo/harfbuzz
