4 ms·

I don't know about that. It seems to me that you are wanting Github to do what the committer should be doing.

• deleted 12y ago
  [deleted]