erabo/spiegel-keyman
1
0
Fork 0
mirror of https://github.com/keymanapp/keyman.git synced 2026-08-10 02:45:32 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1
27982 commits 88 branches 3129 tags 571 MiB
Commit graph

2 commits

Author SHA1 Message Date
Marc Durdin
02812af97f fix(common): specify title explicitly when opening PR with hub 
Fixes #11125.

Discussion in #11125; looks like it may be due to a race in hub?
 2024-04-05 09:20:23 +07:00
Marc Durdin
6c00656849 chore(common): unify pull-request creation scripts 
Fixes #9886.
 2023-10-30 06:22:52 +07:00