Skip to content

Update default milestone #3615

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

Merged
merged 1 commit into from
Dec 3, 2019
Merged

Update default milestone #3615

merged 1 commit into from
Dec 3, 2019

Conversation

mairaw
Copy link
Contributor

@mairaw mairaw commented Dec 3, 2019

No description provided.

@mairaw mairaw requested a review from Thraka December 3, 2019 03:09
@mairaw
Copy link
Contributor Author

mairaw commented Dec 3, 2019

It also doesn't seem that the old one was working because no milestone has been added

@Thraka
Copy link
Contributor

Thraka commented Dec 3, 2019

Strange. I was having a hard time debugging it last time as github kept giving errors to the tool and then it started working so I attributed it to github having problems. But now it's not working again. I'll try to figure it out.

@Thraka Thraka merged commit 4e7b1f3 into master Dec 3, 2019
@Thraka Thraka deleted the mairaw-patch-1 branch December 3, 2019 18:57
@Thraka
Copy link
Contributor

Thraka commented Dec 3, 2019

@mairaw I updated the github library used by the tool and that seems to have fixed the problem.

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.

2 participants