Yes.
And given that the opposite of "git push" is "get fetch", shouldn't the first be called "get throw"?
Embed Notice
HTML Code
Corresponding Notice
- Embed this notice
Jeff Grigg (jeffgrigg@mastodon.social)'s status on Saturday, 12-Oct-2024 01:16:30 JSTJeff Grigg