jenkinsci / jenkinsci/git-plugin
[JENKINS-23082] Git Publisher cannot append notes to remote repos
- Dominant language
- Java
- Stars
- 694
- Forks
- 1.1k
- Avg merge
- 1h 29m
- Merged PRs (30d)
- 3
Description
When using notes in Git Publisher, the first note pushed to a repository works fine. If the workspace is cleaned and the build is run again, Publisher fails with a merge conflict.
This happens because clone/fetch/pull do not pull notes by default. Trying to push a note to the same node (e.g. refs/notes/build) causes a merge conflict. The notes need to be explicitly fetched before the new note is appended.
---
Originally reported by
atomicopossum, imported from: Git Publisher cannot append notes to remote repos
Raw content of original issue
When using notes in Git Publisher, the first note pushed to a repository works fine. If the workspace is cleaned and the build is run again, Publisher fails with a merge conflict.
This happens because clone/fetch/pull do not pull notes by default. Trying to push a note to the same node (e.g. refs/notes/build) causes a merge conflict. The notes need to be explicitly fetched before the new note is appended.
Contributor guide
Assessment
This issue has not been assessed yet.