latest 20 messages by tomkralidis

+ [2020-06-24T12:31:56Z] tomkralidis thanks @jhass. It looks like having the branch checkout as a dedicated step fixes the issue: https://github.com/tomkralidis/GRIB3/blob/issue-1/.github/workflows/main.yml
+ [2020-06-24T11:59:03Z] tomkralidis any idea what I'm doing wrong?
+ [2020-06-24T11:58:56Z] tomkralidis when GitHub runs this, it errors out with "error: pathspec 'gh-pages' did not match any file(s) known to git"
+ [2020-06-24T11:58:09Z] tomkralidis Hi all: I am working on a GitHub workflow to build PDF and HTML pages from a master branch and then publishing to a gh-pages branch. Here's my setup: https://github.com/tomkralidis/GRIB3/blob/issue-1/.github/workflows/main.yml
+ [2020-03-31T02:30:48Z] tomkralidis nm, looks like legacy service migration was needed. Sorry for the noise
+ [2020-03-31T02:22:54Z] tomkralidis hi all: for whatever reason, my Travis build doesn't show up on my PRs on GitHub anymore: https://github.com/geopython/pycsw/pull/608 Any idea what's wrong here? Not sure if this is a GitHub or Travis issue/question
+ [2019-10-14T14:19:29Z] tomkralidis looks like this is implementation specific: https://github.com/mkdocs/mkdocs/issues/1257 sorry for the noise
+ [2019-10-14T14:13:14Z] tomkralidis hi all: for my GitHub pages setup, every time I update the gh-pages branch, my custom domain is erased from my settings. I am using MkDocs to manage/publish to GitHub. Any idea what I'm doing wrong?
+ [2016-11-16T19:52:47Z] tomkralidis note this is a project setup within an organization
+ [2016-11-16T19:52:35Z] tomkralidis am I reading this correctly? shouldn't the CNAME be from YOUR-GITHUB-USERNAME.github.io/project to the subdomain?
+ [2016-11-16T19:51:57Z] tomkralidis the instructions in https://help.github.com/articles/setting-up-a-custom-subdomain/ mention telling my DNS provider to create a CNAME from YOUR-GITHUB-USERNAME.github.io to my subdomain, which in my case will be woudc.github.io to guide.woudc.org
+ [2016-11-16T19:50:42Z] tomkralidis hi all: using GitHub pages I'd like to have a custom subdomain (guide.woudc.org) resolve to https://woudc.github.io/woudc-guidebook/
+ [2016-09-25T13:11:41Z] tomkralidis thanks for the clarification Zarthus. Will try to adapt.
+ [2016-09-25T13:11:08Z] tomkralidis I'm guessing they are sorted by activity then
+ [2016-09-25T13:10:06Z] tomkralidis before I would just go to https://github.com/tomkralidis, see my history, see the new branch in the fork, click it, and then click that to get the page to do the PR
+ [2016-09-25T13:09:14Z] tomkralidis how does one get to https://github.com/tomkralidis/Cat-Interop without typing it?
+ [2016-09-25T13:08:33Z] tomkralidis without typing it now
+ [2016-09-25T13:08:29Z] tomkralidis right but how to get to that url?
+ [2016-09-25T13:07:51Z] tomkralidis I guess the question is how to do a PR without typing out the url on github
+ [2016-09-25T13:07:16Z] tomkralidis Zarthus: it's always (until recently) shown new branches on forks. This made is easy to PR them