Request for file MR to mathlib4

Stream: new members

[Alissa Tung]

Hello, I am writing something on custom cache server. I want to upload some code changes and instructions docs on this. My GitHub id is alissa-tung. Would the admin like to add me to mathlib4 write list or I should provide something else？

[Scott Morrison]

Sorry, I didn't understand what you were referring to by "custom cache server". Could you give a slightly more detailed description?

[Alissa Tung]

Scott Morrison 发言道：

Sorry, I didn't understand what you were referring to by "custom cache server". Could you give a slightly more detailed description?

The primary RFC can be seen here
and the GitHub issue

The referred custom cache server are just some Azure blob compatible server hosted by end users. I had just realized that there would be a new cache impl, and corresponding Zulip list. Let me have some inspections on this...