This repository was archived by the owner on Sep 8, 2025. It is now read-only.
This repository was archived by the owner on Sep 8, 2025. It is now read-only.
set user-agent to interface-controlled username #42
Description
A bug in Interface might result in high traffic to the forge.
GitHub recommends developers to set user-agent to their username, that way if there's unusual traffic from them, GitHub admins will be able to identify it and sort it out.