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

zookeeper: 3.4.6 -> 3.4.9 #22205

Closed
wants to merge 1 commit into from
Closed

Conversation

pradeepchhetri
Copy link
Contributor

@pradeepchhetri pradeepchhetri commented Jan 27, 2017

Motivation for this change
Things done
  • Tested using sandboxing
    (nix.useSandbox on NixOS,
    or option build-use-sandbox in nix.conf
    on non-NixOS)
  • Built on platform(s)
    • NixOS
    • macOS
    • Linux
  • Tested compilation of all pkgs that depend on this change using nix-shell -p nox --run "nox-review wip"
  • Tested execution of all binary files (usually in ./result/bin/)
  • Fits CONTRIBUTING.md.

@mention-bot
Copy link

@pradeepchhetri, thanks for your PR! By analyzing the history of the files in this pull request, we identified @nathan-gs and @cstrahan to be potential reviewers.

@rycee
Copy link
Member

rycee commented Jan 29, 2017

Works fine for me. Rebased into master in a8b6988. Many thanks!

@rycee rycee closed this Jan 29, 2017
@globin
Copy link
Member

globin commented Jan 29, 2017

@rycee you know that you can rebase on the github page? That marks the PR as merged, not closed. :)

@rycee
Copy link
Member

rycee commented Jan 29, 2017

@globin, Yeah, but since I have to checkout the PR, rebase it onto master and test it locally anyway it seems easier to just commit it from the command line as well. If it would be possible for git-hub to mark the PR as merged rather than closed, that would be best. Is it a big problem that the PRs are marked as closed rather then merged?

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.

None yet

4 participants