well, right now the jenkins job is configured to only use origin/master, but I'd be down with adding something more explicit here if I knew how.  Will google a bit.