thingpedia-common-devices icon indicating copy to clipboard operation
thingpedia-common-devices copied to clipboard

Published 20 hours ago • verified publisher icon stanford-oval

Bring back github webhooks

Open gcampax opened this issue 6 years ago • 0 comments

I want to say

if I push to "Stanford-Mobisocial-IoT-Lab/almond-cloud", branch master, ssh to almond.stanford.edu and execute "deploy.sh"

And I want to have it execute w/o polling Github (which makes Github upset), and in real time when click the PR button to merge.

gcampax avatar Sep 21 '18 02:09 gcampax