Stefan Haller
6dc25d796b
Visualize local branch heads in commits panel
...
We want to mark all local branch heads with a "*" in the local commits panel, to
make it easier to see how branches are stacked onto each other. In order to not
confuse users with "*" markers that they don't understand, do this only for the
case where users actually use stacked branches; those users are likely not going
to be confused by the display. This means we want to filter out a few branch
heads that shouldn't get the marker: the current branch, any main branch, and
any old branch that has been merged to master already.
2023-07-31 08:34:01 +02:00
..
2023-07-31 08:34:01 +02:00
2023-04-30 13:19:52 +10:00
2023-04-30 13:19:52 +10:00
2023-05-25 23:52:19 +10:00
2023-07-29 14:44:00 +02:00
2023-07-30 18:35:24 +10:00
2023-04-30 13:19:53 +10:00
2023-04-30 13:19:53 +10:00
2023-05-25 23:52:19 +10:00
2023-07-10 17:12:21 +10:00
2023-04-30 13:19:53 +10:00
2023-05-25 23:52:19 +10:00
2023-04-30 13:19:53 +10:00
2023-07-30 18:51:23 +10:00
2023-07-26 14:27:18 +02:00
2023-06-28 18:54:21 +06:00
2023-07-10 15:09:17 +02:00
2023-07-30 18:35:22 +10:00
2023-07-03 12:54:13 +10:00
2023-05-25 23:52:19 +10:00
2023-05-25 23:52:19 +10:00
2023-05-25 23:52:19 +10:00
2023-04-30 13:19:53 +10:00
2023-07-03 12:54:13 +10:00
2023-07-22 14:36:35 +10:00
2023-07-20 21:05:52 +10:00
2023-05-25 23:52:19 +10:00
2023-07-30 18:51:23 +10:00
2023-05-25 23:52:19 +10:00
2023-07-03 12:54:13 +10:00
2023-07-30 18:35:23 +10:00
2023-04-30 13:19:53 +10:00
2023-07-10 17:12:21 +10:00
2023-07-10 17:12:21 +10:00
2023-04-30 13:19:53 +10:00
2023-07-03 12:54:13 +10:00
2023-07-03 12:54:13 +10:00
2023-04-30 13:19:53 +10:00
2023-04-30 13:19:53 +10:00
2023-06-26 08:19:58 +02:00
2023-05-25 23:52:19 +10:00
2023-07-30 18:51:23 +10:00
2023-07-10 17:12:21 +10:00
2023-07-30 18:35:23 +10:00
2023-04-30 13:19:53 +10:00
2023-07-03 12:54:14 +10:00
2023-07-22 10:47:04 +10:00
2023-07-10 17:12:21 +10:00
2023-07-22 14:36:35 +10:00
2023-05-20 12:58:32 +10:00
2022-04-02 17:04:42 +11:00
2023-07-10 15:09:17 +02:00
2023-04-30 13:19:53 +10:00
2023-05-25 23:52:19 +10:00
2023-07-30 18:35:22 +10:00
2023-07-30 18:35:24 +10:00