Travis+GitHub Opera extension