Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
The embedding machinery ignores user_ns #1136
Bisecting shows the last good revision was 5397fc8, the following revisions don't have working embedding until 9a2ec9f, which has embedding but lost user_ns functionality.
Right, there are four possibilities for each of
I've got an idea how to resolve this. I'll put together a PR, hopefully this evening.