Zulip Chat Archive
Stream: new members
Topic: meaning of pr
vxctyxeha (Aug 23 2025 at 06:22):
can anyone tell me what does "pr" stand for?
Bryan Gin-ge Chen (Aug 23 2025 at 06:28):
It usually means a "GitHub pull request".
Last updated: Dec 20 2025 at 21:32 UTC