Chucky Ellison

the real Github markdown doesn't support footnotes, but this project does

2

Footnotes like ``` blah blah[^1] blah blah ... [^1]: Footnote ``` Are supported in jbt/markdown-editor, but they are (shamefully) not supported in the real github (https://github.com/github/markup/issues/498) When I wrote up...

problem using vscoq on windows 10 via wsl

3

I have a normal installation of VS Code on windows 10. I'd like to use the VsCoq extension. I have set up coq as per the installation instructions on wsl,...

doesn't support records?

1

As far as I can tell, this doesn't support records? Is that correct? I could only manage half a workaround; by using a custom "record" shape, and a manually encoded...

I've never used tau before, but decided to give it a shot today. In order to get it to work, I'm just including it in a test file and compiling,...

ability to set accesskey, or rebind save/open

1

I'm trying to use the query tool. I'm on windows, and I expect shortcuts to use `ctrl`, e.g., "save" should be `ctrl-s` and "open" should be `ctrl-o`. However, my "accesskey"...

fix #6119: respect previously maximized state when clicking tray to restore window

1

### First time contributor checklist: - [X] I have read the [README](https://github.com/signalapp/Signal-Desktop/blob/main/README.md) and [Contributor Guidelines](https://github.com/signalapp/Signal-Desktop/blob/main/CONTRIBUTING.md) - [X] I have signed the [Contributor Licence Agreement](https://signal.org/cla/) ### Contributor checklist: - [X] My...

optional=true not respected for local `file` dependency, but works with local `path` dependency

7

### Description Here's a really small reproducible test: First, grab a .whl to depend on. For simplicity, I'm using `six` because it has no dependencies: ``` $ wget https://www.piwheels.org/simple/six/six-1.17.0-py2.py3-none-any.whl#sha256=cb514bebb7be30e172d571b0e5035990437dd202f3c9f6e911d9406254151b92 ```...

support multi-arch (linux/amd64 and linux/arm64) containers

3

**Describe the problem** Right now, you seem to have separate images for different architectures (and also the arm images only live on dockerhub?) This makes things annoying to use in...

tar -C option fails to work with symlink on windows

1

It appears that when using `tar` with the -C option that is behind a symlink, the program fails: ``` D:\prog\lean\foobar>tar -xf C:\Users\ellisonch\.cache\mathlib\leantar-0.1.15.exe.zip -C C:\Users\ellisonch\.cache\mathlib leantar-v0.1.15-x86_64-pc-windows-msvc/: Cannot extract through symlink \\\\?\\C:\\Users\\ellisonch...