The push on github failed and I haven't checked that terminal before I left. I did it now, can you fetch master again and try?
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.