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

More customizations #103

Merged
merged 17 commits into from
Jan 8, 2019
Merged

More customizations #103

merged 17 commits into from
Jan 8, 2019

Conversation

andreiborisov
Copy link
Collaborator

@andreiborisov andreiborisov commented Dec 14, 2018

Rebased and reworked based on #70

Copy link
Collaborator

@rafaelrinaldi rafaelrinaldi left a comment

Choose a reason for hiding this comment

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

Lovely work Andrei. Looks great to me!

Thanks for this and all the effort you put into this project lately. This is much appreciated.

@rafaelrinaldi

This comment has been minimized.

@andreiborisov

This comment has been minimized.

@edouard-lopez
Copy link
Member

Following the discussion, I submitted PR #106 to update CONTRIBUTING.md

@andreiborisov
Copy link
Collaborator Author

Rebase and necessary fixes are in the work

@andreiborisov
Copy link
Collaborator Author

andreiborisov commented Jan 3, 2019

Everything is looking good

Copy link
Contributor

@boyeln boyeln left a comment

Choose a reason for hiding this comment

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

🥇

@edouard-lopez edouard-lopez merged commit f3a5d12 into pure-fish:master Jan 8, 2019
@andreiborisov andreiborisov deleted the more-customizations branch January 8, 2019 14:23
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.

6 participants