Details
-
Suggestion
-
Resolution: Duplicate
-
None
-
None
Description
Rating: Good
What do you like?
Pushing stuff.
What needs to be improved?
Got an email about a pull request update.
It said that "Eduardo Garcia" pushes some changes, but the commits were from Ivan Loire (and pushed by him).
Seems some is a bit off there?
Attachments
Issue Links
- duplicates
-
BSERV-2744 Pull Request race condition between push and attributed activity author
- Closed