Tom Gehrke

Results 30 comments of Tom Gehrke

No, you're right, that shouldn't happen. The fix for `authorize` should be pretty easy, but `scope` is also affected, and that is possibly a bit more complicated. Edit: The reason...

Quick heads up from me: While I no longer officially work for Ontohub, I will still support this Gem in the future. However: I don't think there currently is a...

@schonert thanks for the ping. As I am no longer actively involved with Ontohub I did not get a notification about this. I will have a look at it tomorrow

Any news on this? Is this still blocking #167?

> @abiosoft > > > > > upgraded to 0.5.2 > > `colima start` > > > INFO[0000] starting colima > > INFO[0000] runtime: docker > > INFO[0000] preparing network...

Can this be closed?

Github also has the restriction that a user cannot be deleted if the user is an `admin` of an organization. We could also restrict this restriction to the last `admin`.

I believe we can close this issue for now. If needed, we can copy this to the wiki, which seems to be the better place for this. Ping @tillmo

I am currently facing the same problem. This is not solvable in a nice way, since minted can not detect the command line switch `-output-directory`. A workaround however might be...