[Bug 998739] Git repository not updated since 13.09