Strange. When I did a PR the second commit with ipops changes wasn't done yet. So I thought I can safely push to github and create a new PR for it. Will read github's docs a bit.
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.