Skip to content

Conversation

GreenSuslik
Copy link
Contributor

Detail in #16

Copy link
Member

@Nyholm Nyholm left a comment

Choose a reason for hiding this comment

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

Great PR.

@@ -1,4 +1,5 @@
.puli/
.idea
Copy link
Member

Choose a reason for hiding this comment

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

This should not be in the .gitignore.

You should put this in your global .gitignore file.

Copy link
Contributor Author

Choose a reason for hiding this comment

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

ok

@Nyholm
Copy link
Member

Nyholm commented Dec 21, 2016

No, why did you close this PR? Just push the changes. =)

@Nyholm Nyholm reopened this Dec 21, 2016
@GreenSuslik
Copy link
Contributor Author

sorry, i'm use gitlab usually. I'd not know how do it in github.

@Nyholm
Copy link
Member

Nyholm commented Dec 21, 2016

You just push more changes to your master branch.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants