Some members of the GitHub community have been asking to ban Russian users for a week now. The platform, however, has decided to not restrict any developers, adding that it will still continue to examine government mandates.