Hello Gabor
 
> I've just realized that merge commit in github is "not enabled for this
> repository". Any suggestions how we can workaround this?

You have to merge manually on your commandline using "git merge … && git push 
origin master". 

Uwe 

Reply via email to