You can click on the date in the header of the comment to get a URL to the comment For example, for issue https://github.com/centic9/jgit-cookbook/issues/5 one of the comments has the following link: https://github.com/centic9/jgit-cookbook/issues/5#issuecomment-51084491.
Search for commenter:username in the main Github search box. For example commenter:gavinandresen To see recent activity, select Recently updated from Sort dropdown You can also narrow the search: is:issue commenter:gavinandresen
Don’t know about email, but you can subscribe to RSS Atom feed with releases: https://github.com/dropbox/dropbox-js/releases.atom or tags: https://github.com/dropbox/dropbox-js/tags.atom EDIT: To get notification via email you can use Sibbell.com or RSS-to-email service like Blogtrottr.
I added a separate step for extracting branch name from $GITHUB_REF and set it to the step output – name: Extract branch name shell: bash run: echo “##[set-output name=branch;]$(echo ${GITHUB_REF#refs/heads/})” id: extract_branch after that, I can use it in the next steps with – name: Push to ECR id: ecr uses: jwalton/gh-ecr-push@master with: access-key-id: ${{ … Read more
I created two options to generate a toc for github-flavored-markdown: DocToc Command Line Tool (source) requires node.js Installation: npm install -g doctoc Usage: doctoc . to add table of contents to all markdown files in the current and all sub directories. DocToc WebApp If you want to try it online first, go to the doctoc … Read more
But github show nothing for the math symbols! please help me, thanks! GitHub markdown parsing is performed by the SunDown (ex libUpSkirt) library. The motto of the library is “Standards compliant, fast, secure markdown processing library in C”. The important word being “secure” there, considering your question :). Indeed, allowing javascript to be executed would … Read more
I had just one commit with all my files. I pushed an empty commit, refreshed the page and it worked. git commit –allow-empty -m “Trigger rebuild” git push If this doesn’t work, as @Hendrikto pointed out in the comments, check out the Github status page and make sure GitHub Pages are operational.
This happens if you initialized a new github repo with README and/or LICENSE file git remote add origin [//your github url] //pull those changes git pull origin master // or optionally, ‘git pull origin master –allow-unrelated-histories’ if you have initialized repo in github and also committed locally //now, push your work to your new repo … Read more
There’s no obvious UI to do this, but there is a way to construct the right URL to go to page one of the commit log. Suppose we want to find the first commit of the dotnet/coreclr repository. First take a note of the number of commits in the repository: it is currently 16,634. Now … Read more
It’s only available for contributors. This way, you can avoid random people assigning the wrong labels and messing up your categories. It would however be useful if you could in some manner propose labels. Then you could mark an issue as what you think is a bug, so the owner can just confirm that. Many … Read more