// English value and shown in the Edit form in English
Right now, these values are coming from the DB and showing as hard-coded values. If in the role_manage_editProcess.php file these fields that are NOT important, then this can be fixed easily because add __() to these readOnly Textfields. But if the values must stay in English, they this cannot be done this way.
For GitHub, you may not need to go as far as setting up everything locally, the web interface can be useful for small changes. You could navigate to the file from the core https://github.com/GibbonEdu/core and then use the edit button, which has an interface at the bottom for making a commit and a PR : )