__git: impossible to update after first-use #47
Labels
No labels
bugfix
cleanup
discussion
documentation
doing
done
feature
improvement
packaging
Stale
testing
TODO
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference: ungleich-public/cdist#47
Loading…
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Expectation:
after using something like
__git stuff --branch production
for the first time, I'd expect subsequent runs of a manifest with that to keep thestuff
repository up to date with the remoteproduction
branch.Actual behaviour:
a fetch of the repository never happens if the repository is already cloned.
Proposal:
I can think of two options:
__git/explorer/needs-update
explorer that: if the repository is already cloned, does agit fetch
and compares the current HEAD with the remote HEAD, then echoesYES
if they differ andNO
if they are equal. Afterwards ingencode-remote
we wouldgit pull
if and only if necessary.gencode-remote
that does the fetching and comparing (wouldn't be necessary on first run).Thoughts?
As with #818, I am currently working with
__git
so it'd be relatively low effort to fix this.mentioned in merge request !894
assigned to @evilham