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

cmd/syncthing: Report if weak hash is enabled #4490

Closed

Conversation

AudriusButkevicius
Copy link
Member

UR changes to follow at some point.

@AudriusButkevicius
Copy link
Member Author

@st-review merge

@st-review
Copy link

@AudriusButkevicius: Build status is pending. I'll wait until it goes green and then merge!

@AudriusButkevicius
Copy link
Member Author

@st-review dont

@st-review
Copy link

I'm sorry, @AudriusButkevicius. I'm afraid I don't know what you mean. I know how to don't, lgtm, merge, prevent, rebuild, squash, stop.

@AudriusButkevicius
Copy link
Member Author

@st-review stop

@st-review
Copy link

@AudriusButkevicius: Preventing merge for the time being. Push a new revision to reset!

@st-review
Copy link

@AudriusButkevicius: Build status is failure -- refusing to merge.

@AudriusButkevicius
Copy link
Member Author

@st-review merge

@st-review
Copy link

@AudriusButkevicius: Build status is pending. I'll wait until it goes green and then merge!

@st-review
Copy link

👌 Merged as c5f90d6. Thanks, @AudriusButkevicius!

@st-review st-review closed this Nov 6, 2017
st-review pushed a commit that referenced this pull request Nov 6, 2017
@st-review st-review added the pr-merged Legacy label used in the past for pull requests merged to the main tree label Jan 15, 2018
@st-review st-review added the frozen-due-to-age Issues closed and untouched for a long time, together with being locked for discussion label Nov 7, 2018
@syncthing syncthing locked and limited conversation to collaborators Nov 7, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
frozen-due-to-age Issues closed and untouched for a long time, together with being locked for discussion pr-merged Legacy label used in the past for pull requests merged to the main tree
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants