Eberhard Beilharz bd7470fc0e 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.		2025-05-12 16:41:38 +02:00
..
test	maint(common): use unique names for Keyman version variables	2025-05-07 18:46:51 +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(common): use unique names for Keyman version variables	2025-05-07 18:46:51 +02:00
install.sh	chore(linux): Move some files to keyman-config	2023-06-05 15:24:41 +02:00
launchpad.sh	maint(common): use unique names for Keyman version variables	2025-05-07 18:46:51 +02:00
package-build.inc.sh	maint(common): use unique names for Keyman version variables	2025-05-07 18:46:51 +02:00
reconf.sh	maint(common): use unique names for Keyman version variables	2025-05-07 18:46:51 +02:00
upload-to-debian.sh	maint(linux): improve getting PR# in upload-to-debian.sh	2025-05-12 16:41:38 +02:00
verify_api.inc.sh	maint(common): use unique names for Keyman version variables	2025-05-07 18:46:51 +02:00
watch.in	chore(linux): Force signature verification	2021-03-08 19:42:07 +01:00