latest 20 messages by drleviathan

+ [2020-05-02T00:46:07Z] drleviathan the commit will have the date it was committed, not when pushed to the remote
+ [2020-05-02T00:24:31Z] drleviathan RoseBus: I don't understand your question. Maybe describe what you want with user stories: "When dev does A I want B to happen, but I want to avoid C" or something like that.
+ [2020-05-01T23:57:15Z] drleviathan RoseBus, use github actions workflow to push to the server on certain events, like on merge, or on release tag
+ [2020-05-01T23:35:45Z] drleviathan maybe you want a good diff editor tool which can show you the diff between two files on your filesystem?
+ [2020-04-30T00:12:27Z] drleviathan and if isn't there you could pass it manually
+ [2020-04-30T00:11:49Z] drleviathan at one time I was examining the env of the container. I didn't take notes of all the environment variables passed, but you carefully look at the command that runs a docker container you can see the names of the variables passed.
+ [2020-04-30T00:09:18Z] drleviathan I'm pretty sure it is also available in the container.
+ [2020-04-30T00:08:29Z] drleviathan the workflow has the GITHUB_TOKEN available
+ [2020-04-22T06:42:59Z] drleviathan but that would require visiting two web pages: one to figure out how to do it and the other to actually do it
+ [2020-04-22T06:42:29Z] drleviathan you could probably setup a github_auth_token for such purposes, which is what one does when using automated services that shouldn't have full access to the github account
+ [2020-04-22T06:37:56Z] drleviathan Of course, you could wait around in #github for a few hours to see if anyone just knows.
+ [2020-04-22T06:37:20Z] drleviathan Alternatively, visit one webpage and do a few clicks.
+ [2020-04-22T06:36:29Z] drleviathan integrate that knowledge, and try it
+ [2020-04-22T06:36:19Z] drleviathan then visit two or three different pages that talk about how to do it
+ [2020-04-22T06:36:03Z] drleviathan You might be able to do it. First, you must open the browser and google "how to create github repo from CLI"
+ [2020-04-22T06:30:44Z] drleviathan Or you could fork an empty repo, then clone it.
+ [2020-04-22T06:30:23Z] drleviathan I think on github you first create an empty repo in the browser. Then you can clone it, modify, and push to it.
+ [2020-04-21T15:46:35Z] drleviathan anyone know? so I don't actually have to push a commit and trigger an event+job+step+run to test it?
+ [2020-04-21T15:45:20Z] drleviathan for github actions: the github.event_name context string... is it: "push", "release", "pull_request"... etc of the various types of events? Or is it some "name:" that one must give the event, like jobs.job.name or jobs.job.step.name?