Matthijs Kooijman

Results 993 comments of Matthijs Kooijman

Hm, it seems I might have misunderstood the documentation somewhat. I thought the shared hooks would be cloned into the repository `.githooks` directory, but the documentation quite clearly says "hese...

I ended up just doing this: ``` --- a/base-template.sh +++ b/base-template.sh @@ -30,6 +30,7 @@ process_git_hook() { execute_global_shared_hooks "$@" || return 1 execute_local_shared_hooks "$@" || return 1 execute_all_hooks_in "$(pwd)/.githooks" "$@"...

@rycus86 I think the shared hooks always need a git repo, right? Which gets cloned into ~/.githooks? I guess `` could be a local git repo, but then I think...

> Sure, it could get some conditional logic, but I'd rather just treat everything the same, so it's easy to support them. What's your reservation about the double-checkout? Only space...

> Do you know of a reliable way of telling apart local/remote git repo URLs? (using only POSIX tools) I think local git urls can be `file://`, but probably also...

I would maybe *not* treat `file://` specially, because: - If someone explicitly creates a file url, they might want to do the clone dance anyway (i.e. you then have a...

Sounds good. One addition: I think git urls are typically e.g. `[email protected]:user/repo.git`, so without a `protocol://` prefix (I think you can also do `ssh://` but that is not commonly done)....

This looks like a duplicate of #209?

Thanks for clarifying, re-reading the original request I agree with your distinction. I guess that means that *this* issue is more about distinguishing between posting a message and starting a...

I'm currently running the google-play version of Riot, on a GMS-less fairphone, using microg instead of GMS and have working notifications (still through Google's servers, I believe). I'm not entirely...