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.

Sign up for GitHub

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

Jump to bottom

add statuses to nixpkgs #6238

Merged
merged 1 commit into from
Feb 8, 2015
Merged

add statuses to nixpkgs #6238

merged 1 commit into from
Feb 8, 2015

Conversation

jagajaga
Copy link
Member

@jagajaga jagajaga commented Feb 8, 2015

Isn't it a good idea to add this things to our repository? :)

@jagajaga jagajaga added 9.needs: reporter feedback This issue needs the person who filed it to respond 3.skill: trivial This is trivial to complete (typically find-and-replace) labels Feb 8, 2015
@peti
Copy link
Member

peti commented Feb 8, 2015

I kinda like it. 👍

domenkozar added a commit that referenced this pull request Feb 8, 2015
@domenkozar
Merge pull request #6238 from jagajaga/master
457fe36 
add statuses to nixpkgs
@domenkozar domenkozar merged commit 457fe36 into NixOS:master Feb 8, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
3.skill: trivial This is trivial to complete (typically find-and-replace) 9.needs: reporter feedback This issue needs the person who filed it to respond
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
6 participants
@jagajaga @peti @copumpkin @pSub @vcunat @domenkozar