Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

Perform bdwgc checkout with --force #62

Closed
wants to merge 2 commits into from
Closed

Conversation

bcardiff
Copy link
Member

Workaround for ivmai/bdwgc#317

@bcardiff
Copy link
Member Author

@ivmai
Copy link

ivmai commented Apr 20, 2020

Workaround for ivmai/bdwgc#317

I've fixed it.

@bcardiff
Copy link
Member Author

Thanks @ivmai

@RX14
Copy link
Member

RX14 commented Apr 23, 2020

Is this still required or are we trying to use a release with the bad commit?

@bcardiff
Copy link
Member Author

No longer needed since master of bdwgc is not longer conflicting the process.

I noticed it is a duplicate of #52. We can rebase that and merge it since there it is an improvement after all.

@bcardiff bcardiff closed this Apr 23, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants