Travis

[Jochen Theodorou]

Hi all,

I just tried to rerun a build on travis (the instance reporting to our 
github issues), but it seems I do not have the rights to do that. What 
do I have to do to be able to do that?

bye Jochen