1
0
mirror of https://github.com/TeamPiped/Piped.git synced 2024-12-13 22:00:28 +05:30
Commit Graph

8 Commits

Author SHA1 Message Date
Kavin
7cbda4c484
actions: don't auto merge if en.json was updated 2023-05-01 08:57:56 +01:00
Kavin
519aab6cd8
Fix check! 2022-11-11 21:14:43 +00:00
Kavin
6d898cf686
actions: inline if statement. 2022-11-11 16:18:28 +00:00
Kavin
e030011a5c
Remove unnecessary checkout. 2022-11-10 17:40:44 +00:00
Kavin
c5208a2668
Specify PR URL to gh cli. 2022-11-10 17:39:20 +00:00
Kavin
87ab7b7535
Try to fix missing permissions. 2022-11-10 17:35:36 +00:00
Kavin
26310385a7
Try to fix auto-merge. 2022-11-10 17:33:40 +00:00
Kavin
598a780e2e
Add auto-merge for weblate. 2022-11-10 17:28:55 +00:00