Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Bugfix reassign_commit_and_workdir() #134

Merged
merged 3 commits into from
May 20, 2022
Merged

Bugfix reassign_commit_and_workdir() #134

merged 3 commits into from
May 20, 2022

Conversation

LegenJCdary
Copy link
Collaborator

@LegenJCdary LegenJCdary commented Apr 26, 2022 •
edited
Loading

fixing issue #132

@LegenJCdary LegenJCdary requested a review from cinek810 April 26, 2022 09:19
@LegenJCdary LegenJCdary added the bug Something isn't working label Apr 26, 2022
@LegenJCdary LegenJCdary mentioned this pull request Apr 26, 2022
Closed
cinek810
cinek810 approved these changes May 17, 2022
View reviewed changes
Copy link
Owner

@cinek810 cinek810 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good, still it's ToCToU

@LegenJCdary LegenJCdary merged commit 5b66f1a into main May 20, 2022
@LegenJCdary LegenJCdary deleted the bugfix_reassign_commit_workdir branch May 20, 2022 08:08
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@cinek810 cinek810 cinek810 approved these changes

Assignees
No one assigned
Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@LegenJCdary @cinek810