You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Sometimes github api marks merge commit as is_distinct:false even though same commit was already seen on another branch. Whatever is github definition of is_distinct - we don't want to show same exact commit more than once.
We can use our own state to track this (and need to prune (after commit enters main branch? or just by time))
The text was updated successfully, but these errors were encountered:
Sometimes github api marks merge commit as is_distinct:false even though same commit was already seen on another branch. Whatever is github definition of is_distinct - we don't want to show same exact commit more than once.
We can use our own state to track this (and need to prune (after commit enters main branch? or just by time))
The text was updated successfully, but these errors were encountered: