Muhammed Mukhthar CM mukhtharcm

GitHub Copilot Custom Agent Mode

I modified that beast mode to be more robust, and I love it. Refactored an entire older repo I made from years ago just for fun and was able to do perfectly

I call it "Extensive Mode"

"Extensive Mode.chatmode.md"

The tools should be customized per environment and what you have available,

Node.js Deployment

Steps to deploy a Node.js app to DigitalOcean using PM2, NGINX as a reverse proxy and an SSL from LetsEncrypt

1. Sign up for Digital Ocean

If you use the referal link below, you get $10 free (1 or 2 months) https://m.do.co/c/5424d440c63a

2. Create a droplet and log in via ssh

I will be using the root user, but would suggest creating a new user

Redirecting GitHub Pages after a repository move

The problem

You have a repository, call it alice/repo. You would like to transfer it to the user bob, so it will become bob/repo.

However, you make heavy use of the GitHub Pages feature, so that people are often accessing https://alice.github.io/repo/. GitHub will helpfully redirect all of your repository stuff hosted on github.com after the move, but will not redirect the GitHub Pages hosted on github.io.

The solution

Inspired by dannyfritz/commit-message-emoji

	# train_grpo.py
	#
	# See https://github.com/willccbb/verifiers for ongoing developments
	#
	"""
	citation:

	@misc{brown2025grpodemo,
	title={Granular Format Rewards for Eliciting Mathematical Reasoning Capabilities in Small Language Models},
	author={Brown, William},

	package plugins

	import (
	"context"
	"encoding/json"
	"fmt"
	"os"
	"strconv"

	sqlite_vec "github.com/asg017/sqlite-vec-go-bindings/cgo"

	#!/usr/bin/env bash

	set -eEuo pipefail

	MARKER_FILE_NAME="${DOCKER_PRUNER_MARKER:-DOCKER-PRUNER-MARKER-FILE}"
	DOCKER_PATH="${DOCKER_PATH:-/var/lib/docker/overlay2}"

	function _used_dirs() {
	for docker_obj in $(docker ps -aq) $(docker image ls -aq); do
	lowerdir="$(docker inspect "$docker_obj" \| jq '.[].GraphDriver.Data.LowerDir' -r)"

	// Used to detect specific issue with JSON decoding
	func decodeOrReport(data: Data) {
	do {
	let _ = try JSONDecoder().decode(WidgetResponse.self, from: data)
	print("\n\n👍ALL GOOD\n\n")
	} catch DecodingError.keyNotFound( let key, let context) {
	print("\n\n⛔️FAILED TO DECODE\n\n")
	print("could not find key \(key) in JSON: \(context.debugDescription)")
	} catch DecodingError.valueNotFound( let type, let context) {
	print("\n\n⛔️FAILED TO DECODE\n\n")

	# update system
	$ sudo apt update && sudo apt upgrade

	# uninstall old node (v10?)
	$ sudo apt remove nodejs npm -y

	# install nvm
	$ curl -o- https://raw.githubusercontent.com/nvm-sh/nvm/v0.39.2/install.sh \| bash

	# use 'unofficial builds' in nvm

	import 'package:flutter/material.dart';
	import 'package:get/get.dart';

	void main() {
	runApp(MyApp());
	}

	class MyNavModel {
	static final Map<String, MyNavModel> urls = {};
	final IconData icon;

Commit type	Emoji
Initial commit	🎉 `:tada:`
Version tag	🔖 `:bookmark:`
New feature	✨ `:sparkles:`
Bugfix	🐛 `:bug:`