[08:26:40] <bawolff>	 Is it just me, or has git pull been slower than normal?