Farshid/Ashouri

github

26 posts tagged “github”.

  1. 2025

  2. Clone, edit and push files that live in a Gist

    GitHub Gists are full Git repositories, and can be cloned and pushed to. You can clone them anonymously (read-only) just using their URL: git clone…

    github gist git cli
    1 min read

  3. Configuring GitHub Codespaces using devcontainers

    GitHub Codespaces provides full development environments in your browser, and is free to use with anyone with a GitHub account.

    github codespaces devcontainers python vscode
    3 min read

  4. Paginating through the GitHub GraphQL API with Python

    For my auto-updating personal README I needed to fetch the latest release for every repository I have on GitHub. Since I have 316 public repos I wanted the most efficent way possible to do this.

    TIL github
    1 min read

  5. Syntax highlighting Python console examples with GFM

    It turns out GitHub Flavored Markdown can apply syntax highlighting to Python console examples, like this one: The trick is to use the following: pycon import csv with open('eggs.csv', newline='') as…

    TIL github
    1 min read

  6. Publishing a Docker container for Microsoft Edit to the GitHub Container Registry

    Microsoft recently released Edit, a new terminal text editor written in Rust. It's pretty nice - it's reminiscent of but with a retro MS DOS feel. I wanted to run it on my Apple Silicon Mac.

    TIL github
    2 min read

  7. Ensure labels exist in a GitHub repository

    I wanted to ensure that when this template repository was used to create a new repo that repo would have a specific set of labels.

    github github-actions automation labels ci/cd
    1 min read

  8. Combined release notes from GitHub with jq and paginate-json

    Matt Holt asked: Is there a tool that uses the GitHub API to generate a doc with all release notes from a repo?

    github api release-notes jq cli
    2 min read
  9. 2024

  10. Bulk fetching repository details with the GitHub GraphQL API

    I wanted to be able to fetch details of a list of different repositories from the GitHub GraphQL API by name in a single operation.

    github graphql api repositories cli
    1 min read

  11. Cumulative total over time in SQL

    This is a quick trick for creating a cumulative chart of the total number of items created over time based just on their creation date.

    sql database data-analysis cumulative-sum github
    1 min read

  12. Attaching a generated file to a GitHub release using Actions

    For Datasette Desktop I wanted to run an action which, when I created a release, would build an asset for that release and then upload and attach it.

    github-actions github releases ci/cd javascript
    1 min read

  13. Back-dating Git commits based on file modification dates

    https://www.w3.org/History/1991-WWW-NeXT/Implementation/ It's served up as a browseable Apache directory listing, but that's not the most delightful way to browse code - clicking a link to a file…

    git cli python automation history
    2 min read

  14. GitHub Actions, Issues and Pages to build a daily planner

    I'm trying a new thing: a private daily planner, where each day I note down my goals for the day and make notes on my progress towards them as the day progresses.

    github github-actions github-pages issues javascript
    1 min read

  15. Transferring a GitHub issue from a private to a public repository

    I have my own private repository where I sometimes create research threads. Occasionally I want to transfer these to a public repository to publish their contents.

    TIL github
    1 min read

  16. Migrating a GitHub wiki from one repository to another

    I figured out how to migrate a GitHub wiki (public or private) from one repository to another while preserving all history. The trick is that GitHub wikis are just Git repositories.

    TIL github
    1 min read

  17. Assistance with release notes using GitHub Issues

    I like to write the release notes for my projects by hand, but sometimes it can be useful to have some help along the way. Today I figured out this recipe.

    github release-notes git cli llm
    2 min read

  18. Converting HTML and rich-text to Markdown

    If you copy and paste from a web page - including a full table - into a GitHub issue comment GitHub converts it to the corresponding Markdown for you. Really quick way to construct Markdown tables.

    markdown html conversion javascript tools
    1 min read

  19. Configuring Dependabot for a Python project

    GitHub's Dependabot can automatically file PRs with bumps to dependencies when new versions of them are available.

    github dependabot python dependencies automation
    1 min read
  20. 2023

  21. Reporting bugs in GitHub to GitHub

    I found out today (via this post) about a dedicated interface for reporting bugs in GitHub to GitHub: https://support.github.com/contact/bug-report It includes full markdown support, which means you…

    TIL github
    1 min read

  22. Bulk editing status in GitHub Projects

    GitHub Projects has a mechanism for bulk updating the status of items, but it's pretty difficult to figure out how to do it. The trick is to use copy and paste.

    github project-management ui tips
    1 min read

  23. GitHub OAuth for a static site using Cloudflare Workers

    My tools.simonwillison.net site is a growing collection of small HTML and JavaScript applications hosted as static files on GitHub Pages.

    github oauth cloudflare workers javascript
    6 min read