Learn more about these different git repos.
Other Git URLs
a55ea5c
drop unused write_to_stdout function this was added after 1.16 and no longer used, so no point in keeping it