__git: impossible to update after first-use #47
Labels
No Label
bugfix
cleanup
discussion
documentation
doing
done
feature
improvement
packaging
Stale
testing
TODO
No Milestone
No project
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies
No dependencies set.
Reference: ungleich-public/cdist#47
Loading…
Reference in New Issue
No description provided.
Delete Branch "%!s(<nil>)"
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