Github-Bot Migration: Instructions not clear - does not work?

element-hq / element-integration-manager

Element Integration Manager related issues

6 stars 1 forks source link

Github-Bot Migration: Instructions not clear - does not work? #47

Closed mtippmann closed 1 year ago

mtippmann commented 1 year ago

Started the migration according to the docs - I'm admin in the room and added the original github bot with my matrix account. After migration I authenticated again with github and gave the integration permissions for the wohle project... but there are no new events and I'm not sure if there is still something to do for finishing the migration or if the state in the screenshots is enough?

my github account is linked with the 'weimarnetz' project and permissions from the github side are granted:

this is the screen for the migrated repos - is there something missing here?

mtippmann commented 1 year ago

using Element Desktop

Version von Element: 1.11.20 Version von Olm: 3.2.12

Edit: Same issue von 1.11.25

Half-Shot commented 1 year ago

Hey there, would you mind giving us a room & userID so we can follow up in the logs? I'm afraid knowing the GitHub info isn't enough.

tobbi commented 1 year ago

I'm not OP but having the same problem: Room: !BfYVBjzEVacHrvDBYw:matrix.org

Whose user ID do you need? Mine, if so, that'd be @tobbi:matrix.org

mtippmann commented 1 year ago

Hey there, would you mind giving us a room & userID so we can follow up in the logs? I'm afraid knowing the GitHub info isn't enough.

sure room is !SWQlgopOguLKBpcADp:bau-ha.us alias #weimarnetz:bau-ha.us userid is mt@bau-ha.us

thanks for looking into it

jplatte commented 1 year ago

Yeah, this seems badly broken.

To migrate multiple repos, I had to assign multiple !foo prefixes, but not doing it did not result in any UI feedback
Clicking any of the checkboxes for which events should generate notifications does nothing, both before and after migration
Until I gave the app access to my own repos, it showed an error message that didn't really provide any details (although I don't think that was blocking anything else from working)

Room ID: !aFsxHSpFFtAuRqRviy:flipdot.org User ID: @jplatte:flipdot.org

tobbi commented 1 year ago

From my end, it looks like it was fixed.

mtippmann commented 1 year ago

I removed the bot in the meanwhile and comments here and tickets suggest it's fixed. So I'm closing this issue.