|
79ead075fa
|
removing PRs opened by bots
|
2025-03-17 10:39:47 +01:00 |
|
|
2fad232dd2
|
now using the build handler to check for
compilation at the commit of merge
|
2025-03-17 09:22:32 +01:00 |
|
|
b04d5b410a
|
made postfix better
|
2025-03-14 15:23:12 +01:00 |
|
|
4544922165
|
extracted a function, updated it, and using it in
pull_requests
|
2025-03-14 14:38:24 +01:00 |
|
|
fd82ff5128
|
moved github logging to file
|
2025-03-14 14:07:31 +01:00 |
|
|
8e1bbd15ff
|
removed useless paramater
|
2025-03-14 14:05:32 +01:00 |
|
|
5a2865a78d
|
minor stuff
|
2025-03-14 14:03:04 +01:00 |
|
|
6437efaa54
|
first clean version of storing the entries of the
dataset, still need to check for tests
|
2025-03-14 12:05:19 +01:00 |
|
|
f8568fe8ec
|
cleared pull_requests.py to start anew
|
2025-03-13 11:11:21 +01:00 |
|
|
614115123e
|
can now process repo (still needs testing)
|
2025-03-06 15:39:04 +01:00 |
|
|
3cbb81894d
|
removed useless stuff
|
2025-03-06 10:10:49 +01:00 |
|
|
a983e2c122
|
extracting the file before, comment and file after
for the comments in a PR
|
2025-03-06 10:01:59 +01:00 |
|
|
d9c100a811
|
finally get the overlapping commits and comments
|
2025-03-05 10:22:55 +01:00 |
|
|
9ab2036bc7
|
idk how to name variables
|
2025-03-05 09:58:29 +01:00 |
|
|
ab88018f16
|
renamed variable
|
2025-03-05 09:56:13 +01:00 |
|
|
b9501f9aac
|
compacted code
|
2025-03-05 09:55:31 +01:00 |
|
|
cb7c1a94a1
|
augmenting the comments with the range of the
hunk, useful for later to search for overlap between comment and commit
|
2025-03-05 09:54:53 +01:00 |
|
|
9122b27140
|
renamed function
|
2025-03-05 09:48:23 +01:00 |
|
|
a0ac5b47ad
|
actually using the extracted function
|
2025-03-05 09:30:04 +01:00 |
|
|
788f8db974
|
fixed the extraction of the date, because on the
server, datetime.fromisoformat couldn't be parsed for some reason
|
2025-03-05 09:29:03 +01:00 |
|
|
ceb15674ad
|
first version of the pull_requests.py
|
2025-03-05 09:22:02 +01:00 |
|