push only on github

1 job for bigsdb-maps-3 in 1 minute and 31 seconds (queued for 16 seconds)