GitHub activity, tracked into OpenProject