dev-shinyu

Dear dayvson I used redis as a ranking collection function only. It was very easy to implement using the api of go-leaderboard git http://ledisdb.com/ https://github.com/siddontang/ledisdb https://github.com/siddontang/ledisdb/wiki/Commands I'd like to migrate...

How to code review with push instead of pull

3

Can bots review during push event on github as well? I set it as below but it doesn't seem to work. Is there a way? API_KEY registered successfully. # .github/workflows/cr.yml...

Hello . @hadashiA VitalRouter I found out that this pub/sub library is also zero-allocation and has excellent performance, so I wanted to try it, but it seems that you support...

Separate approval policies for read vs write operations

2

### What feature would you like to see? Hi Codex CLI team 👋 Currently, the approval_policy setting applies uniformly to all command executions. This means we can either: Allow all...

Harden IDE lookup and WebFetch private-IP handling

2

### Summary Harden IDE CLI lookup and WebFetch private-IP checks to improve safety. ### Changes - Use spawn-based command lookup (no shell interpretation) for IDE installers. - Rework private-IP detection...