There's also work on that ;) the dude doing most of the work moved to forgejo and some parts are already implemented but I'm not sure what the state is. I would also love to see federation, that's what would really be a github killer and drive this ecosystem forward imho.