Skip to content

Instantly share code, notes, and snippets.

View OfficialOzzy's full-sized avatar

Ozzy OfficialOzzy

  • 12:13 (UTC +01:00)
View GitHub Profile
@OfficialOzzy
OfficialOzzy / SKILL.md
Created July 18, 2026 12:43
Skill: Issue Grounding
name issue-grounding
description Ground an implementation request in both the repository and its issue hierarchy before coding. Use when the user provides a GitHub, GitLab, Linear, or other tracker issue (URL or identifier) and asks to implement, fix, investigate, or plan it. Explore the codebase, read the issue and relevant parent/sub-issues, then give a concise expected-outcome and high-level-solution brief before making changes.

Issue Grounding

Create a trustworthy pre-implementation brief from the repository as it exists now and the issue in its wider tracker context.

This skill is a checkpoint, not implementation. Do not edit code, install dependencies, change branches, update the tracker, or otherwise begin the implementation while running it. Present the brief, then wait for the user to proceed.

@OfficialOzzy
OfficialOzzy / php-install-from-source.sh
Created January 26, 2021 15:40
Download PHP and Build from Source
#!/bin/bash
PHP_VERSION=$1
WORKDIR=$(pwd)
DOWNLOAD_FILE="php-$PHP_VERSION.tar.gz"
TAR_OUT_DIR="$WORKDIR/php-src-php-$PHP_VERSION"
curl -O -L https://github.com/php/php-src/archive/$DOWNLOAD_FILE
tar -zxvf "$WORKDIR/$DOWNLOAD_FILE"
@OfficialOzzy
OfficialOzzy / circleci_aws_add_remove.sh
Last active March 27, 2019 21:25
Circle CI - Add and Remove Security Group Rule for servers that are not publicly accessible
#!/bin/bash
# "jq" is required to be installed for this script to work
# and "awscli"
# set security group id from AWS
SecurityGroupID="sg-XXXXXXXX"
# Set the port no
Port=3306