Add reflection on automatic vs. manual GitHub pull/push