06:29:16 .merges 06:29:16 -xmr-pr- #1039 #977 06:29:31 .merge+ #1044 06:29:31 Added 14:14:24 .merges 14:14:24 -xmr-pr- #1039 #1044 #977 15:53:23 luigi1111: 1044 needed to be squashed and merged, but maybe you didn't see my comment. Should i not add the PRs in the merge list if they are not squashed? 15:54:09 my mistake 15:55:34 Alright, next time i'll ping you here if i remember :) 15:58:38 wonder if I can fix 15:58:43 repository is gone I guess 16:01:39 can you also do cli / gui merges? :) 16:01:48 it is theoretically possible 16:01:57 not super urgent 16:02:14 yeah i think it's technically possible, but i wouldn't do it 16:03:15 mostly because i would avoid to "change history" 16:07:01 hmm now that a look at it, some commits are a bit heavy. Dunno, up to you luigi 16:13:58 a bit heavy? 16:25:52 ok whatever I did it 16:46:53 Not much. Just a full css file basically getting created and deleted 2 or three times 16:47:58 looks ok btw 17:34:29 great 18:14:23 .merge+ #1045 18:14:24 Added