and i have created this JIRA for infra to rename JIRA and github: https://issues.apache.org/jira/browse/INFRA-9543
If you want to go back and contribute, you won't have any more big clashes with names now since we already pushed... We can keep working ok on the current git repo until Infra completes the task.
