latest 3 messages by yhhko
+
[2016-10-31T19:13:58Z]
yhhko
danimal2: you should add his repository as a remote to your local repository, and then cherry-pick the commit that you want on top of your branch --- then you can optionally push that commit onto your github repo
+
[2016-10-31T18:51:27Z]
yhhko
are there any integration apps for that?
+
[2016-10-31T18:51:22Z]
yhhko
i'd like to track the ABI of my project, so I'd like to generate a report for each commit/PR. i'd like something like travis-ci except it lets me store some easily accessible report