Update working_with_extensions.md: add community repo short-hand
#3066
| Job | Run time |
|---|---|
| 2m 14s | |
| 3m 29s | |
| 13s | |
| 0s | |
| 0s | |
| 5m 56s |
community repo short-hand
#3066
| Job | Run time |
|---|---|
| 2m 14s | |
| 3m 29s | |
| 13s | |
| 0s | |
| 0s | |
| 5m 56s |