Let GitHub track modify times