Updating files that where changed  while GitHub was down