ros-infrastructure / buildfarm

Build scripts and notes for catkin debian build pipeline.
6 stars 15 forks source link

considering setting up github oauth for user accounts #76

Closed tfoote closed 11 years ago

tfoote commented 11 years ago

https://wiki.jenkins-ci.org/display/JENKINS/Github+OAuth+Plugin

This will avoid multiple logins.

dirk-thomas commented 11 years ago

Several scripts using the python-jenkins API rely on the basic http auth. So sadly using GitHub OAuth is not an option currently since they can not be mixed.