Restore GitHub functionality #81

delvh · 2023-07-15T20:04:38Z

delvh commented

2023-07-15 20:04:38 +00:00

My guess is that GitHub changed something here recently, which is why it
no longer worked without the explicit arguments.

My guess is that GitHub changed something here recently, which is why it no longer worked without the explicit arguments.

delvh added the

bug

label 2023-07-15 20:04:38 +00:00

delvh added 1 commit 2023-07-15 20:04:41 +00:00

Restore GitHub functionality

check-and-test / check-and-test (pull_request) Successful in 1m15s

Details

ff5c3f7b47

My guess is that GitHub changed something here recently, which is why it
no longer worked without the explicit arguments

delvh commented

2023-07-16 07:51:16 +00:00

Will be fixed by #78

delvh closed this pull request

2023-07-16 07:51:16 +00:00

jolheiser commented

2023-07-16 18:09:47 +00:00

Did this work correctly? The reason I initially made #78 was because the search results were inexplicably missing many PRs for some reason.

If this works correctly it may be the better way considering #78 (comment)

Did this work correctly? The reason I initially made #78 was because the search results were inexplicably missing many PRs for some reason. If this works correctly it may be the better way considering https://gitea.com/gitea/changelog/pulls/78#issuecomment-744620

delvh commented

2023-07-16 18:16:59 +00:00

I don't know if these PRs will still be missing.
I simply did what I had to do get it running at all, as it is currently completely broken.

I don't know if these PRs will still be missing. I simply did what I had to do get it running at all, as it is currently completely broken.