Github.dev and github1s.com are third party or open source tools that can be used to access github repositories.The Github gatelet is unable to inspect the traffic through these sites.
Github gatelet supports traffic directly from Github or the Github cli.
Feature request ISFR-3230 has been created to track the request to enhance the github gatelet for these access points. Please open a support ticket and ask to be included with the request.
Block the URL at the firewall or proxy to eliminate these access methods as required.