That's true. By the way git has a command called request-pull. Github uses its own implementation, but that can be avoided.

Reply via email to