07:09 	wumpus 	Luke-Jr: YOU BROKE github-merge.sh
07:09 	wumpus 	I guess I should go on holiday now, as I can't merge anything anymore :)
07:12 	SomeoneWeird 	wumpus: Uhoh
07:14 	sipa 	wumpus: how?
07:18 	cfields 	wumpus: eh? the bash thing broke it?
07:23 	wumpus 	pull #5038
07:25 	sipa 	ah i missed thatit modified github-merge
07:28 	wumpus 	I'll just revert the changes to that
07:29 	wumpus 	it's not part of the automake system anyway, it doesn't need compatibilty with the 80's
07:30 	sipa 	haha
07:31 	wumpus 	and if someone complains it doesn't run in their shell: please rewrite it in python
07:31 	midnightmagic 	or C! :-D
07:31 	wumpus 	no, python :)
07:32 	cfields 	yep, just good old portable python3 :)