GitHub repo move this Friday

65 views
Skip to first unread message

Jacques Pienaar

unread,
Apr 17, 2024, 1:59:14 PM4/17/24
to iree-discuss
Hey everyone,

Just a heads-up for folks not on Discord, we'll be moving the IREE GitHub repo to its new/old GitHub organization on Friday. This should hopefully not be too disruptive*.

Best,

Jacques

* If history is any indicator there will be some breakages and we will aim to fix them on Friday.

Jacques Pienaar

unread,
Apr 19, 2024, 2:47:08 PM4/19/24
to iree-discuss
Hey,

Just a quick note. Repo has been moved, CI etc working, some runners still being manually migrated but should not block presubmits.

iree.dev offline at the moment (waiting for some verification to propagate), which means you'd need to use https://iree-org.github.io/iree/pip-release-links.html for pip installs until fixed. Hopefully this propagates shortly and can wrap up the move.

-- Jacques

Andrzej Warzyński

unread,
Apr 19, 2024, 3:26:09 PM4/19/24
to iree-discuss
Nice! Thanks for the update and for working on this!

-Andrzej

Jacques Pienaar

unread,
Apr 20, 2024, 8:56:15 AM4/20/24
to Andrzej Warzyński, iree-discuss
All should be moved and working now. If you run into any issues please let us know.

-- Jacques

--
You received this message because you are subscribed to the Google Groups "iree-discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email to iree-discuss...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/iree-discuss/897b6945-91b2-4cf1-afb6-8369eb70131cn%40googlegroups.com.
Reply all
Reply to author
Forward
0 new messages