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

Galaxis: init at 1.9 #26185

Merged
merged 2 commits into from
May 28, 2017
Merged

Galaxis: init at 1.9 #26185

merged 2 commits into from
May 28, 2017

Conversation

AndersonTorres
Copy link
Member

@AndersonTorres AndersonTorres commented May 28, 2017

Motivation for this change

New package

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.

Sorry, something went wrong.

Verified

This commit was signed with the committer’s verified signature. The key has expired.
panzarino Zach Panzarino
@AndersonTorres AndersonTorres added the 8.has: package (new) This PR adds a new package label May 28, 2017
sha256 = "1dsypk5brfbc399pg4fk9myyh5yyln0ljl1aiqkypws8h4nsdphl";
};

buildInputs =
Copy link
Member

Choose a reason for hiding this comment

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

Nitpick: Why is there a extra newline? IMO it does not improve readability.

Verified

This commit was signed with the committer’s verified signature. The key has expired.
panzarino Zach Panzarino
@Mic92 Mic92 merged commit 815ad7c into NixOS:master May 28, 2017
@pSub
Copy link
Member

pSub commented May 28, 2017

@Mic92 I'm curious: I suppose you don't have push access to @AndersonTorres fork, so how did you add commits to this PR?

@Mic92
Copy link
Member

Mic92 commented May 28, 2017

This is a recent feature of github. When you open a pull request, maintainers have write access to the branch by default, except if contributors untick "Allow edits from maintainers".

@pSub
Copy link
Member

pSub commented May 28, 2017

Ah, good to know. Thank you!

@AndersonTorres AndersonTorres deleted the galaxis branch July 31, 2017 14:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
8.has: package (new) This PR adds a new package
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants