spiegel-keyman/linux/scripts
Eberhard Beilharz 711879fb15
maint(linux): improve getting PR# in upload-to-debian.sh 🍒
With this change we wait two seconds after creating the PR before trying
to get the number of the PR so that GitHub can catch up. Previously
recently it wasn't able to get the PR#.

Also adjust the commit message and use the new header for skipping tests.

Cherry-pick-of: #13890
Build-bot: skip
Test-bot: skip
2025-09-18 11:47:47 +02:00
..
test fix(linux): fix problem with API checks with merge commits 2024-10-09 19:35:41 +02:00
.editorconfig chore(linux): Fix API check if lines got removed in .symbols file 2024-02-02 20:15:22 +01:00
build.sh chore(linux): Rename keyboardprocessor to Keyman Core 2023-03-08 16:52:10 +01:00
deb-packaging.sh refactor(linux): move API verification functions to separate file 2024-10-09 16:56:10 +02:00
deb.sh chore(linux): remove unused building with pbuilder 2024-06-24 18:37:10 +02:00
debian.sh chore(linux): remove unnecessary line from changelog 2024-12-11 09:00:06 +01:00
dist.sh maint(linux): create temporary worktree for packaging 🍒 2025-08-25 15:24:52 +02:00
install.sh chore(linux): Move some files to keyman-config 2023-06-05 15:24:41 +02:00
launchpad.sh maint(linux): remove Oracular, add Questing 🍒 2025-09-18 10:10:15 +02:00
package-build.inc.sh maint(linux): sudo not required for removing temporary files 2025-05-30 11:02:46 +02:00
reconf.sh fix(linux): Fix environment for Debian packages 2023-11-02 22:18:02 +07:00
upload-to-debian.sh maint(linux): improve getting PR# in upload-to-debian.sh 🍒 2025-09-18 11:47:47 +02:00
verify_api.inc.sh chore(linux): improve output if dpkg-gensymbols fails and run other tests 2024-10-10 11:59:19 +02:00
watch.in chore(linux): Force signature verification 2021-03-08 19:42:07 +01:00