Skip to content

Conversation

@koppor
Copy link
Member

@koppor koppor commented Sep 14, 2025

Triggered by #13901

Binaries take a while for creating - users should try out on their system.

Assumption: In most of the cases, there is no intervention of the developer needed before the issue raiser should try out.

Therefore, the idea is to add a message to the issue if there is a binary.

Steps to test

  1. Merge :)
  2. Create PR referencing an issue
  3. Add: 'dev: binaries`
  4. wait
  5. See the co,ment on the issue

Mandatory checks

@trag-bot
Copy link

trag-bot bot commented Sep 14, 2025

@trag-bot didn't find any issues in the code! ✅✨

@koppor koppor merged commit 03d2921 into main Sep 14, 2025
46 of 54 checks passed
@koppor koppor deleted the add-comment-on-issue branch September 14, 2025 14:42
Siedlerchr added a commit that referenced this pull request Sep 17, 2025
* upstream/main:
  Add new check for format (#13909)
  Consistent casing in fieldnames (#13867)
  Revert "Pressing TAB in last field in entry editor moves focus to the next ta…" (#13912)
  Fix YAML
  Fix on-pr-opened-updated.yml syntax
  Pressing TAB in last field in entry editor moves focus to the next tab's first field  (#13870)
  Modularize JabSrv (#13908)
  New translations jabref_en.properties (Italian) (#13907)
  Remove wrong `assert` statement (#13906)
  Add .git-blame-ignore-revs (#13884)
  Do not show transprot info messages (#13904)
  Pubmed api key support (#13899)
  Fix warnings for native access
  Fix automerge workflow (#13903)
  Add comment on issue on binary (#13902)
  Have checkstyle and VCS configuration distributed (#13900)
  Add unknown field to lsp consistency check (#13880)
  Put config for general tab if missing (#13901)
  Fix autosave manager exception on shutdown (#13882)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants