Skip to content
This repository has been archived by the owner on Apr 24, 2020. It is now read-only.

sudo #69

Merged
merged 5 commits into from
Nov 11, 2016
Merged

sudo #69

merged 5 commits into from
Nov 11, 2016

Conversation

amihaiemil
Copy link
Member

PR for #67

@amihaiemil
Copy link
Member Author

@original-brownbear I'm having the same problem here - apparently rultor cannot write to my repo, so I invited it to be a collaborator. Can you accept it? :D

@coveralls
Copy link

coveralls commented Nov 10, 2016

Coverage Status

Coverage remained the same at 79.277% when pulling ba2efc9 on 67 into 3076672 on master.

@coveralls
Copy link

coveralls commented Nov 10, 2016

Coverage Status

Coverage remained the same at 79.277% when pulling 37d4c23 on 67 into 3076672 on master.

@rultor
Copy link
Contributor

rultor commented Nov 11, 2016

@rultor merge

@amihaiemil OK, I'll try to merge now. You can check the progress of the merge here

@coveralls
Copy link

coveralls commented Nov 11, 2016

Coverage Status

Changes Unknown when pulling f053fa1 on 67 into * on master*.

@amihaiemil
Copy link
Member Author

@rultor merge

@rultor
Copy link
Contributor

rultor commented Nov 11, 2016

@rultor merge

@amihaiemil OK, I'll try to merge now. You can check the progress of the merge here

@rultor rultor merged commit f053fa1 into master Nov 11, 2016
@rultor
Copy link
Contributor

rultor commented Nov 11, 2016

@rultor merge

@amihaiemil Done! FYI, the full log is here (took me 2min)

@original-brownbear
Copy link

@amihaiemil all happy now right ? :)

@amihaiemil
Copy link
Member Author

@original-brownbear yup, thanks a lot :D

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants