-
Notifications
You must be signed in to change notification settings - Fork 0
Change logging API from push to pull #55
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
Conversation
4bca5c8
to
ab2ab04
Compare
f9e956d
to
f3b069c
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks Good
3afd8b2
to
4a8e375
Compare
You should have left the |
I rebased on top of the changes of the exponential backoff PR, so there is not much I could do, could I ? |
Maybe I got confused with another PR, yeah do not worry. |
4a8e375
to
9971a34
Compare
ba0f06f
to
ee158fc
Compare
9971a34
to
e1ceffa
Compare
The file
grisp_connect_log_server.erl
was renamedgrisp_connect_log.erl
and a lot of the code remained unchanged, but git is not recognising the rename because there is too much differences (all the gen_server stuff got removed).