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
PRs with full ci and specific ci still in the title after merge are polluting our git log history so we need to change the behavior to look in the body instead of the title of PRs so that people will no longer include it in the title.
The text was updated successfully, but these errors were encountered:
PRs with full ci and specific ci still in the title after merge are polluting our git log history so we need to change the behavior to look in the body instead of the title of PRs so that people will no longer include it in the title.
The text was updated successfully, but these errors were encountered: