> I was wondering this morning whether they were going to migrate away from GH.
In the context of other commentary today with various people migrating off of github...
is there an event prompting this, or were you thinking of it more in the general vein of European governments trying to reduce dependency on American services?