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
This PR was squashed before being merged into the master branch.
Discussion
----------
Fix space in auto title
This will fix#161.
@wouterj, this was interesting.
What happen is:
1. PR is posted it as `[RateLimiter][Security] ...`
2. Carson parses the title and adds label "RateLimiter", then "Security"
3. Github sends a "label was updated ping" about RateLimiter
4. Carson correctly title to `[RateLimiter] [Security] ...` because " Security was not marked as a label yet.
5. Github sends a "label was updated ping" about Security
6. Carson will update the title again, and correctly set it to `[RateLimiter][Security] ...`
However, It is a race condition... if 3 and 5 is reversed, then you experience the wrong title.
The easy fix is to update the two labels at the same time, which is what I do in this PR.
Commits
-------
0eeb6cb Fix space in auto title
0 commit comments