Mans was kind enough to set up a git mirror for MPlayer: http://git.mplayerhq.hu/?p=mplayer;a=summary So whoever prefers git for day to day work should be able to have their way. And no, for now this does not mean we will switch to git :) Diego