mary marchini

PR #258 will add this feature

@dmitriy-sqrt are you still having this problem? I've just tried the following code and it worked flawlessly: ``` html $('#timepicker1').timepicker({ "showMeridian":false, "defaultTime":'15:00', }); ``` If the problem persists, can you...

Can you please paste a snippet of your code (HTML and JS) at https://jsfiddle.net/, so we can take a better look at what's going on?

A workaround I'm using is: ``` noti -- ssh HOST 'bash -c "while [[ -d /proc/PID ]]; do sleep 10s; done"' ```

A huge thanks! An amazing tool to use when you need to build large projects!

In theory changing the event to `pull_request_target: [labeled]`, adding `if: github.event.label.name == 'start-ci'` to the job and changing every use of `github.event.issue.number` with `github.event.number` should be enough for this use...

Yes

> though it wouldn't trigger the next workflow (because Actions can't trigger Actions) It works if you use a personal token (we can create one for @nodejs-github-bot and add it...

Next step is for us (diag wg) to send a PR moving one of the guides to this repository.

Ah, one thing we need for GitHub events is to differentiate events coming from people with write access to the repo vs people without write access to it. We can...