Ignore Git Ignore and Full Reset

In case you need to reset HARD… remove folders files irrespective of .gitignore git clean -Xdf

Solution: Trigger a GitHub Actions Build

I ran into a Automation issue with GH-Pages, on PUSH it wasn’t triggering the environment, so, I added this stage Request GitHub Pages Build:

env:
GITHUB_TOKEN: ${{ secrets.DOCS_SITE_TOKEN }}
GITHUB_REPOSITORY: ${{ secrets.GITHUB_REPOSITORY }}
GITHUB_ACTOR: ${{ secrets.GITHUB_ACTOR }}
run: |
# As documented here, the GH-Pages behavior changed, 
# and the API must be ‘Triggered’
curl -L -X POST -H “Content-Type: application/json” \
      -H “Authorization: token ${GITHUB_TOKEN}” 
      “https://api.github.com/repos/${GITHUB_REPOSITORY}/pages/builds”

Solution: GIT_URL_1 and Jenkins Jobs – GIT_URL not working

In my jenkins job, I hit this issue where I was using GIT_URL to embed in my MANIFEST.MF. I found it was’t actually embedding the GIT Details in my Manifest.MF, I had to switch to GIT_URL_1 as described in Jenkins Git Plugin

Solution: Find all users who contributed since last tag

In my work, I need to report on the contributors since the last tag. A helpful shortcut is to use git with pretty formatting.

~$ git log --pretty=format:"%ae" 4.3.0.. | sort -u
a@users.noreply.github.com
b@users.noreply.github.com
c@us.ibm.com
d@us.ibm.com
e@bastide.org
f@us.ibm.com
g@ibm.com
h@us.ibm.com

Subm the Current Releases Download Count

Using the GitHub Release API, I counted the release downloads using the following pattern:

curl -u github-user-id:github-api-key \
   "https://api.github.com/repos/IBM/FHIR/releases?size=20" -o count.json
cat count.json | \
   jq -r '.[] | "\(.name),\(.assets[].name),\(.assets[].download_count)"'

The output is:

IBM FHIR Server 4.3.3,fhir-cli.zip,5
IBM FHIR Server 4.3.3,fhir-persistence-schema-4.3.3-cli.jar,5
IBM FHIR Server 4.3.3,fhir-server-distribution.zip,5