|
||||||||
This message is automatically generated by JIRA. If you think it was sent incorrectly, please contact your JIRA administrators. For more information on JIRA, see: http://www.atlassian.com/software/jira |
You received this message because you are subscribed to the Google Groups "Jenkins Issues" group.
To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-issues+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
It isn’t the parent repository that is being passed. Rather it is a bare repo that has commits from the parent repository, as well as all the submodules.
The basic procedure for adding commits from another repo to an existing bare repo (may be more direct ways, but this works):
trap "rm -Rf $TEMPDIR" exit # First clone the directory separately. git clone --bare $SOURCE_BASE_URL/$PROJECT.git $TEMPDIR # Then fetch from the temporary dir into our main repo. git remote add $PROJECT $TEMPDIR/ git fetch $PROJECT --tags # Then change the remote URL and fetch normally. git remote set-url $PROJECT $SOURCE_BASE_URL/$PROJECT.git git fetch $PROJECT --tags