|
7a0394e51b
|
PR: use "open" not "opened" as state
|
2025-07-10 16:54:28 +02:00 |
|
|
51873eb048
|
PR: log prjgit PrjGit creator
|
2025-07-09 20:06:13 +02:00 |
|
|
0b4b1a4e21
|
common: Add basic OBS request APIs
|
2025-06-17 19:24:13 +02:00 |
|
|
6438a8625a
|
Replace PrjGit creation logic
|
2025-06-16 14:22:21 +02:00 |
|
|
c8d65a3ae5
|
PR: refactor
Move AssociatedPR fetching
|
2025-06-11 16:28:02 +02:00 |
|
|
b849a72f31
|
PR: request optional reviews
Ignore these reviews in approval, for otherwise they can be used
to fetch optional review information
|
2025-06-10 18:48:42 +02:00 |
|
|
30c8b2fe57
|
PR: require PRs to be in opened state
PR's that are not opened (eg. closed, or merged) cannot be part of
a consistent PRset. Either everything is merged, or everything should
be opened.
|
2025-06-10 16:31:44 +02:00 |
|
|
69b0f9a5ed
|
PR: fix error logging
|
2025-06-10 15:59:07 +02:00 |
|
|
af898a6b8d
|
pr: manual project only merge ok is manual merge ok
|
2025-06-07 21:42:11 +02:00 |
|
|
b89cdb7664
|
PR: fix parsing comments from timeline
|
2025-06-05 19:15:53 +02:00 |
|
|
d37bfaa9d3
|
common: workaround case when user do not have gitea accounts and cannot get reviews assigned
|
2025-06-04 14:59:46 +02:00 |
|
|
7c229500c1
|
common: debug logging
|
2025-06-03 23:46:53 +02:00 |
|
|
b8cc0357a7
|
PR: limit manual merge to Projects
Add "ManualMergeProject" to require "merge ok" sign-offs on
project level only
|
2025-06-03 00:07:34 +02:00 |
|
|
aed0ac3ee9
|
PR: allow maintainers to approve merges by default
|
2025-06-02 23:54:05 +02:00 |
|
|
cca3575596
|
PR: add "merge ok" manual merge option
|
2025-06-02 16:22:50 +02:00 |
|
|
69dcebcf74
|
common: use Timeline for reviews
Gitea doesn't keep track of Stale reviews well. We should parse
Timeline of a PR *always* and apply our own logic to this instead
|
2025-05-30 16:51:30 +02:00 |
|
|
3bef967023
|
wip
|
2025-05-16 17:57:02 +02:00 |
|
|
9c3658b33e
|
pr: remove pending requests
Remove all pending review requests when we merge
|
2025-05-13 18:34:56 +02:00 |
|
|
1498438fee
|
pr: fix fetching for merging
|
2025-05-10 16:48:06 +02:00 |
|
|
4653904ded
|
pr: merge - preliminary fixes
|
2025-05-09 17:28:35 +02:00 |
|
|
da1df24666
|
wip
|
2025-05-06 18:06:04 +02:00 |
|
|
9b5013ee45
|
git clone lock fixes
|
2025-04-15 18:15:35 +02:00 |
|
|
2d044d5664
|
git: one generator per app, multiple instances
this allows locking for access for each org
|
2025-04-14 18:33:18 +02:00 |
|
|
ba7686189e
|
add GitClone for persistent git clones
|
2025-04-09 00:03:22 +02:00 |
|
|
06aef50047
|
start refactoring PR bot
|
2025-04-07 19:03:02 +02:00 |
|
Jan Zerebecki
|
4604aaeeba
|
Rename bots-common to common
to make it match the name it is imported as
|
2025-04-03 22:38:28 +02:00 |
|