Comment Comment by AshleyGrant This explains why it took GitHub 5+ minutes to acknowledge a push to a PR branch. parent AshleyGrant 10 days ago