Alex Chi Z.

Results 196 issues of Alex Chi Z.

raspbian requires IPv6 access. Though our server supports IPv6 outbound connection, it seems that the proxy server cannot handle IPv6 requests.

enhancement

- [ ] Grafana export functionality - [ ] Kibana export functionality - [ ] watcher docker image - [ ] deploy

enhancement

**类别**:Bug反馈 诸如 https://mirrors.sjtug.sjtu.edu.cn/dart_packages/ ,可以直接通过子域名访问 https://dart-pub.mirrors.sjtug.sjtu.edu.cn 。前端可以考虑直接跳转到子域名,而非子目录。 #14 中的 packagist (composer) 就必须通过子域名根目录访问,直接跳转子域名大概会方便用户配置。

enhancement
frontend

Now every task has its own configuration, and the mirror-clone program has its global configuration. I suggest the following config scheme. The final config used by mirror-clone is composed of...

The ultimate goal of mirror-clone is provide an easy-to-use abstraction layer for developers who want to clone a software repo to their own local registry. Developers will need to implement...

Some Coq packages use `http:` instead of `src:` in OPAM file. This makes OPAM download logic very complex. We may wait for @PhotonQuantum 's OPAM parser before working on this.

Hello! I encountered some problems when I was trying solving exercise 6.6 ``` Exercise 6.6 (QuickSort). Use partition to implement quickSort. -- >> quickSort [1,4,3,2] -- [1,2,3,4] {-@ quickSort ::...

Most of the modification in sqllogictest-bin won't affect the sqllogictest package itself. Probably we can bump sqllogictest-bin as we want without releasing new version of sqllogictest?

We can add a SQLite backend to sqllogictest-bin and see how compatible it is with the original SQLite's sqllogictest. Though we didn't consider compatibility when we started this project, it's...