Haoran SUN

Try this code copied from https://github.com/gluon-lang/gluon/issues/842. ``` type Digit a = | One a | Two a a | Three a a a | Four a a a a type...

有些用户可能已经通过前置的反向代理提供认证了。本 PR 允许用户禁用内置的认证来避免需要进行双重认证。

Schedule an automerge from API (accidentally) with ${{ secrets.GITHUB_TOKEN }} will break the PR

2

### Description I accidentally scheduled an automerge from API with `${{ secrets.GITHUB_TOKEN }}` in action (I should have used a PAT). And the PR got broken. ### Gitea Version 1.21.10...

### Description https://gitea.com/Shuenhoy/vtk-m is migrated from https://gitlab.kitware.com/vtk/vtk-m. Accessing the `data` folder will trigger 500 error. Whether selecting `migrate LFS files` is the same. In the demo site, https://demo.gitea.com/Shuenhoy/vtk-m will not...

### Description I saw #31039 is merged in 1.22.0. However, I scheduled an automerge to an agit PR and it didn't automerge. I then tried checkout the PR and created...

### Description See the screenshot. Possible options may be `git fetch -u refs/pull/123/head:agit-topic` or `tea pr co --branch 123` with `tea`. ### Gitea Version 1.22.0 ### Can you reproduce the...