Skip to content

Instantly share code, notes, and snippets.

View melaniemuellerdesign's full-sized avatar
🎯
Focusing

Melanie Müller melaniemuellerdesign

🎯
Focusing
View GitHub Profile
<?php
/**
* Starting update via different method.
*
* @param object $transient The update request for plugin.
*/
function myplugin_check_for_update( $transient ) {
error_log( 'hello' );
@illepic
illepic / private-github-release-download.sh
Last active November 4, 2025 16:13
Download the latest release binary from a private GitHub repo. (i.e. a .tar.gz that you have manually uploaded in a GitHub release). Update OAUTH_TOKEN, OWNER, REPO, FILE_NAME with your custom values.
#!/usr/bin/env bash
# Authorize to GitHub to get the latest release tar.gz
# Requires: oauth token, https://help.github.com/articles/creating-an-access-token-for-command-line-use/
# Requires: jq package to parse json
# Your oauth token goes here, see link above
OAUTH_TOKEN="34k234lk234lk2j3lk4j2l3k4j2kj3lk"
# Repo owner (user id)
OWNER="your-user-name"
@maxim
maxim / gh-dl-release
Last active December 31, 2025 12:22
Download assets from private Github releases
#!/usr/bin/env bash
#
# gh-dl-release! It works!
#
# This script downloads an asset from latest or specific Github release of a
# private repo. Feel free to extract more of the variables into command line
# parameters.
#
# PREREQUISITES
#
@mobilemind
mobilemind / git-tag-delete-local-and-remote.sh
Last active May 4, 2026 20:38
how to delete a git tag locally and remote
# delete local tag '12345'
git tag -d 12345
# delete remote tag '12345' (eg, GitHub version too)
git push origin :refs/tags/12345
# alternative approach
git push --delete origin tagName
git tag -d tagName