midgard/git-mirror
1
0
Fork 0
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity

Detect when no push is necessary #1

New issue
Closed
opened 2019-11-06 13:41:29 +01:00 by midgard · 1 comment
midgard commented 2019-11-06 13:41:29 +01:00 (Migrated from gitlab.zeus.gent)
Copy link

Pushes are done even when we could see locally that nothing needs to be done.

Pushes are done even when we could see locally that nothing needs to be done.
midgard commented 2019-11-06 14:09:21 +01:00 (Migrated from gitlab.zeus.gent)
Copy link

closed via commit ae9dd17ef3

closed via commit ae9dd17ef36db2afe8f897a5e29c0298cab5bc6e
Sign in to join this conversation.
No Branch/Tag specified
Branches Tags
master
No results found.
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: midgard/git-mirror#1
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?