Oliver Kopp
Oliver Kopp
See https://github.com/JabRef/jabref/issues/13868#issuecomment-3604371479 why there are two PRs.
Moreover, consistency please!! Export always right - as in AI summary
I think, we learned, we should include it in JabRef - see https://github.com/JabRef/jabref/pull/13190
> Why the switch to 24 failed in this case is also not clear to me. It can be a temporary failure of the download service (which is not under...
Thank you for the answer. I need to read where I drop and I target that text. Similar to darts, where the target areas are marked and I need to...
> When looking at it, it would help to learn where exactly the errors show up - is it after point 6? Yes. The popup is now showing up "always"....
BTW, GitHub shows "Merging is blocked" 
> @koppor wuoldn't a PR be automatically added to the merge queue no matter which of those options you select and your repository has merge queues enabled? I need to...
Unfortunately, I know barley anything about the API. Just using the Java library for interaction.... 😅 I checked the JavaDoc. Only one hit for Merge Queue (the event. Nothing relevant...
> A lot happened in the steps to reproduce, 😇 > and some of that may very well be the reason for the failure. However, the only idea I have...