erabo/spiegel-keyman
1
0
Fork 0
mirror of https://github.com/keymanapp/keyman.git synced 2026-10-07 22:47:29 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 8
15361 commits 75 branches 3175 tags 577 MiB
Commit graph

831 commits

Author SHA1 Message Date
Keyman Build Agent
bf858daffd auto: increment stable-15.0 version to 15.0.272 2022-10-18 14:33:20 -04:00
Keyman Build Agent
4f1c13d77b auto: increment stable-15.0 version to 15.0.271 2022-09-12 06:08:21 -04:00
Keyman Build Agent
f76ba85e82 auto: increment stable-15.0 version to 15.0.270 2022-08-29 01:01:44 -04:00
Keyman Build Agent
c0e9ac2355 auto: increment stable-15.0 version to 15.0.269 2022-08-04 14:28:24 -04:00
Eberhard Beilharz
b4d4b58627
chore(linux): Add script to upload to debian 
- Create and sign source package
- Upload to mentors.debian.net
- Create (and optionally push) commit with updated changelog file
  based on stable branch
- Create (and optionally push) commit with updated changelog file
  based on master branch

This change also slightly modifies `echo_heading` and outputs a
mark. This will show to the left of the line as well as in the
scroll bar in a terminal in VSCode [[1]] and will help to find the
headings if you have a lot of output in between.

[1]:https://code.visualstudio.com/updates/v1_69#_setmark-sequence-support

(cherry picked from commits ae61410cc9,
2a55ffb024, 9232c20569,
420cc0814d, 9f7b85834a,
and ae0378a57f)
 2022-07-29 09:14:40 +02:00
Keyman Build Agent
1f1f2d46e0 auto: increment stable-15.0 version to 15.0.268 2022-07-26 01:19:43 -04:00
Keyman Build Agent
d9d0d83c42 auto: increment stable-15.0 version to 15.0.267 2022-07-08 07:33:31 -04:00
Keyman Build Agent
62a20ea48b auto: increment stable-15.0 version to 15.0.266 2022-07-04 05:01:46 -04:00
Marc Durdin
1cec7a4e68
Merge pull request #6879 from keymanapp/fix/common/cherry-pick/trigger-builds-stable 
fix(common): trigger builds correctly for stable builds 🍒
 2022-07-02 05:52:06 +10:00
Keyman Build Agent
d84434b235 auto: increment stable-15.0 version to 15.0.265 2022-07-01 00:09:13 -04:00
Marc Durdin
532a04936c fix(common): trigger builds correctly for stable builds 2022-07-01 05:02:34 +10:00
Keyman Build Agent
9b8ac0c8d8 auto: increment stable-15.0 version to 15.0.264 2022-06-24 01:02:48 -04:00
Keyman Build Agent
021c8d5e89 auto: increment stable-15.0 version to 15.0.263 2022-06-22 21:04:12 -04:00
Keyman Build Agent
86014a5ea2 auto: increment stable-15.0 version to 15.0.262 2022-06-18 00:39:25 -04:00
Keyman Build Agent
d3b4cf1dcc auto: increment stable-15.0 version to 15.0.261 2022-06-14 23:30:51 -04:00
Marc Durdin
f7af3df2bf chore: add trigger definitions for stable-15.0 2022-06-15 13:14:41 +10:00
Marc Durdin
65a616a7e8 chore: fix version increment for force parameter 2022-06-15 13:06:27 +10:00
Keyman Build Agent
0a6ffa137a auto: increment beta version to 15.0.260 2022-06-10 14:02:55 -04:00
Keyman Build Agent
f9537ee2a2 auto: increment beta version to 15.0.259 2022-06-06 14:02:30 -04:00
Keyman Build Agent
d1576e6717 auto: increment beta version to 15.0.258 2022-06-03 14:02:30 -04:00
Keyman Build Agent
99add57dda auto: increment beta version to 15.0.257 2022-06-01 14:02:17 -04:00
Keyman Build Agent
a59fa21d61 auto: increment beta version to 15.0.256 2022-05-31 14:02:28 -04:00
Keyman Build Agent
2eb0ccfcc3 auto: increment beta version to 15.0.255 2022-05-30 14:02:44 -04:00
Keyman Build Agent
cd2b32fc4d auto: increment beta version to 15.0.254 2022-05-27 14:05:13 -04:00
Keyman Build Agent
996018fe90 auto: increment beta version to 15.0.253 2022-05-25 14:02:14 -04:00
Keyman Build Agent
6ad1549167 auto: increment beta version to 15.0.252 2022-05-23 14:02:48 -04:00
Keyman Build Agent
9697f0233c auto: increment beta version to 15.0.251 2022-05-20 14:02:40 -04:00
Keyman Build Agent
e71dd1af38 auto: increment beta version to 15.0.250 2022-05-19 14:02:12 -04:00
Marc Durdin
8a8cc3730d
Merge pull request #6624 from keymanapp/chore/common/history-related-prs 
chore(common): improve PR reporting of changes
 2022-05-19 11:14:23 +10:00
Keyman Build Agent
31879771ed auto: increment beta version to 15.0.249 2022-05-17 14:02:44 -04:00
Marc Durdin
d8f81cbdf1 chore(common): improve PR reporting of changes 
Fixes #6391.

The issue here was quite nuanced: where we merged a PR, and then merged
the changes into an earlier PR, but left it open, the earlier PR could
end up getting the release information comment from keyman-server
instead of the later, merged PR. This was because the commit would
appear in both PRs, so GitHub would report on both of them.

This is not a 100% fix -- but it should stop the PR tagging on unmerged
pull requests. The one situation where this may leave a gap is where we
have multiple PRs merged on the same day, where a later PR's changes are
merged into an earlier PR; in this case I think it is possible that one
of the PRs will not get the informative version comment.

But given the current fix should avoid the more common situation, I am
comfortable to leave it as is for now. This is only informative data...
and a more complete fix is a distraction.
 2022-05-17 10:43:07 +10:00
Keyman Build Agent
d1b9f2d52c auto: increment beta version to 15.0.248 2022-05-16 14:02:41 -04:00
Keyman Build Agent
bd85fc895e auto: increment beta version to 15.0.247 2022-05-11 14:02:08 -04:00
Keyman Build Agent
5dbb6642b7 auto: increment beta version to 15.0.246 2022-05-10 14:01:54 -04:00
Keyman Build Agent
7448674fe0 auto: increment beta version to 15.0.245 2022-05-09 14:01:48 -04:00
Keyman Build Agent
52b42a5958 auto: increment beta version to 15.0.244 2022-05-03 14:02:37 -04:00
Marc Durdin
a8624c80d3
Merge pull request #6584 from keymanapp/chore/web/file-size-test 
chore(web): report on file size
 2022-05-03 09:43:16 +10:00
Marc Durdin
79784342c4 chore(web): fixup curl call for cross-platform 2022-05-01 15:59:18 +10:00
Marc Durdin
47f21ded76 chore(web): fixup func name 2022-05-01 15:20:20 +10:00
Marc Durdin
d4e42a4697 chore(web): report on file size 2022-05-01 14:53:22 +10:00
Keyman Build Agent
9286a67ee0 auto: increment beta version to 15.0.243 2022-04-29 14:02:29 -04:00
Keyman Build Agent
d2edf15283 auto: increment beta version to 15.0.242 2022-04-27 14:02:30 -04:00
Keyman Build Agent
2a59670bf2 auto: increment beta version to 15.0.241 2022-04-26 14:02:34 -04:00
Keyman Build Agent
d17e03a35a auto: increment beta version to 15.0.240 2022-04-22 14:02:30 -04:00
Keyman Build Agent
c5199698ac auto: increment beta version to 15.0.239 2022-04-21 14:02:18 -04:00
Keyman Build Agent
0e3173c528 auto: increment beta version to 15.0.238 2022-04-20 14:02:18 -04:00
Keyman Build Agent
414199711f auto: increment beta version to 15.0.237 2022-04-19 14:02:23 -04:00
Keyman Build Agent
f4473990a7 auto: increment beta version to 15.0.236 2022-04-18 14:02:00 -04:00
Keyman Build Agent
4052e00890 auto: increment beta version to 15.0.235 2022-04-14 14:02:32 -04:00
Keyman Build Agent
767817c425 auto: increment beta version to 15.0.234 2022-04-13 14:02:17 -04:00