I want to overwrite the git source of a package in autoproj. That package is by default on gitorious and I forked it on spacegit to apply specific patches. According to the autoproj documentation (http://rock-robotics.org/stable/documentation/autoproj/customization.html), I set the new repo in the overrides.yml by:
- control/orogen/<package>:
url: git://spacegit.dfki.uni-bremen.de/virgo/orogen-<package>.git
But if I inspect the remotes of the newly checked out package, only the fetch url is adapted to spacegit whereas the push url still points to the default gitorious repo:
$ git remote -v
autobuild git://spacegit.dfki.uni-bremen.de/<project>/orogen-<package>.git (fetch)
autobuild gi[email protected]:/rock-control/orogen-<package>.git (push)
How can I overwrite both the fetch and the push source of a package in the overrides.yml?
git
questions are more likely to be answered more comprehensively on Stack Overflow. $\endgroup$