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

[WIP] Algo group's solution collector #484

Merged
merged 5 commits into from
Jun 3, 2018
Merged

[WIP] Algo group's solution collector #484

merged 5 commits into from
Jun 3, 2018

Conversation

unrealhoang
Copy link
Collaborator

No description provided.

.repo(&repo)
.pulls()
.number(pull["number"].as_str().unwrap())
.merge()
Copy link
Collaborator

Choose a reason for hiding this comment

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

Thường thì sau khi merge một PR phải đi kèm theo cả bước fetch & pull để update lại working copy, hoặc nếu thông qua API như trên web thì cũng phải chờ phía server update, nên thực hiện liên tục như này liệu có dễ bị API call fail ko?

Copy link
Collaborator Author

Choose a reason for hiding this comment

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

Your suggestion is to add sleep here?

}

fn main() -> Result<(), Box<Error>> {
let token = env::var("GITHUB_TOKEN").expect("GITHUB_TOKEN is not set");
Copy link
Collaborator

Choose a reason for hiding this comment

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

Sao ko push luôn example env file lên luôn

Copy link
Collaborator Author

Choose a reason for hiding this comment

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

:omg: cái này set tay thôi.

@unrealhoang unrealhoang closed this Jun 3, 2018
@unrealhoang unrealhoang deleted the solution_collector branch June 3, 2018 17:02
@unrealhoang unrealhoang restored the solution_collector branch June 3, 2018 17:09
@unrealhoang unrealhoang reopened this Jun 3, 2018
@huytd huytd merged commit 5f68d51 into master Jun 3, 2018
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