From the site you sent:
Repo renames do not happen automatically. Create a new room tied to the repo and we can move the messages over manually. Please note, this will not move room members over.
Send a message to email@example.com with the following info. Make sure to email with the primary email address associated with the GitLab/GitHub/Twitter account tied to your Gitter account.
Create a new room tied to the repo
Link to where the repo used to exist on GitHub
Link to where the repo now exists on GitHub
Link to the old room on Gitter
Link to the new room on Gitter
1 replyindicator but it breaks the site a bit when you click on it with the feature toggle off. The fix is deployed in next/staging and it's going to production soon.
@robertvb Ahh, I see. So it would have to be a comment on the commit with a Gitter permalink. This sounds very closely related to https://gitlab.com/groups/gitlab-org/-/epics/402
Mind creating an issue about "Add comment to commit when mentioned on Gitter", https://gitlab.com/gitlab-org/gitter/webapp/issues
@egil @lppedd There are no plans to work on Android/iOS in the near and pretty far term. It's one of the epics on the roadmap but very far along, https://gitlab.com/groups/gitlab-org/gitter/-/epics/6
There is even a slight itch to deprecate them because of those bugs you mention, gitlab-org/gitter/webapp#2281. If some of the bigger bugs are fixed that you mentioned, then we can leave them alone. Merge requests welcome!
The notification issue is probably this, gitlab-org/gitter/gitter-android-app#121