387 – Fix git mirroring script to not push unless there are new commits

Bug 387 - Fix git mirroring script to not push unless there are new commits

Summary: Fix git mirroring script to not push unless there are new commits

Reported:	2020-06-16 20:34 BST by Jacob Lifshay
Modified:	2023-09-18 20:08 BST (History)
CC List:	2 users (show)

See Also:	1162
NLnet milestone:	---
total budget (EUR) for completion of task and all subtasks:	0
budget (EUR) for this task, excluding subtasks' budget:	0
parent task for budget allocation:
child tasks for budget allocation:
The table of payments (in EUR) for this task; TOML format:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

Description Jacob Lifshay 2020-06-16 20:34:04 BST

See: http://lists.libre-riscv.org/pipermail/libre-riscv-dev/2020-June/008191.html

Comment 1 Jacob Lifshay 2023-09-18 20:08:02 BST

fixed by using https://salsa.debian.org/Kazan-team/git-mirror which only pushes if there are any changes