jenkinsci / jenkinsci/git-plugin

[JENKINS-46586] Can't set push-url in git configuration area

Open
#3,183 3 comments 0 reactions 0 assignees View on GitHub
component:git-plugin enhancement imported-jira-issue priority:minor resolution:unresolved
Dominant language
Java
Stars
694
Forks
1.1k
Avg merge
1h 29m
Merged PRs (30d)
3

Description

We use local, read-only mirrors at our development sites around the globe. When a repo is cloned from a mirror, the first step is to set the git push-url to the primary server. It would be much better if this could be done during the repo creation phase. It would need to be in the repo section (not additional behaviors) as more than one repo might be involved in a build..

---
Originally reported by anstaafl, imported from: Can't set push-url in git configuration area


  • status: Open
  • priority: Minor
  • component(s): git-plugin
  • resolution: Unresolved
  • votes: 1
  • watchers: 2
  • imported: 2025-12-02

Raw content of original issue

We use local, read-only mirrors at our development sites around the globe. When a repo is cloned from a mirror, the first step is to set the git push-url to the primary server. It would be much better if this could be done during the repo creation phase. It would need to be in the repo section (not additional behaviors) as more than one repo might be involved in a build..

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.