Skip to content

Instantly share code, notes, and snippets.

View williambdean's full-sized avatar
💻
Stuck in the terminal

Will Dean williambdean

💻
Stuck in the terminal
View GitHub Profile
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@doi-t
doi-t / manage_milestones_with_gh.md
Last active December 29, 2024 16:23
Manage milestones with gh

Use gh v0.11.0 or later for the "shell" aliases.

Run the following gh alias set commands for each operation. You can confirm the created aliases with gh alias list.

gh listMilestones

gh alias set listMilestones "api graphql -F owner=':owner' -F name=':repo' -f query='
    query ListMilestones(\$name: String\!, \$owner: String\!) {
        repository(owner: \$owner, name: \$name) {
            milestones(first: 100) {
@bonniss
bonniss / github-search-cheatsheet.md
Last active December 12, 2025 17:34
Github search cheatsheet from official docs.

Github Search Cheat Sheet

GitHub’s search supports a variety of different operations. Here’s a quick cheat sheet for some of the common searches.

For more information, visit our search help section.

Basic search

@bwengals
bwengals / DTC_latent.ipynb
Created April 3, 2018 01:56
DTC for latent GP, non-normal likelihoods
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@JorjMcKie
JorjMcKie / LeoAccess.py
Last active November 30, 2025 02:24
Accessing dictionary dict.leo.org from Python
#!/usr/bin/env python
# -*- coding: latin-1 -*-
#
# Query the dictionary http://dict.leo.org/ from within Python.
# This is based on an equivalent script for German/English by:
#
# Copyright (C) 2015 Ian Denhardt <[email protected]>
#
# This program is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by