Skip to content

Instantly share code, notes, and snippets.

View at-the-vr's full-sized avatar
🎮
Love Gaming Nonstop

Atharva at-the-vr

🎮
Love Gaming Nonstop
19 followers · 51 following
View GitHub Profile
@bluwy
bluwy / GitHub Delete Issues.user.js
Last active May 23, 2024 09:32
Userscript to add a delete issue button in the issues page. It opens the issue in a new tab, delete it, and auto-close the tab (sometimes not working). There's also a button to delete all issues in the current page, which opens all the tabs at once. Also works for discussions. BEWARE that deleting issues is not reversible!
// ==UserScript==
// @name GitHub Delete Issues
// @license MIT
// @version 0.1.0
// @description Adds buttons to easily delete issues
// @author bluwy
// @match https://github.com/**
// @grant none
// ==/UserScript==
@rahularity
rahularity / work-with-multiple-github-accounts.md
Last active May 3, 2025 07:32
How To Work With Multiple Github Accounts on your PC

How To Work With Multiple Github Accounts on a single Machine

Let suppose I have two github accounts, https://github.com/rahul-office and https://github.com/rahul-personal. Now i want to setup my mac to easily talk to both the github accounts.

NOTE: This logic can be extended to more than two accounts also. :)

The setup can be done in 5 easy steps:

Steps:

  • Step 1 : Create SSH keys for all accounts
  • Step 2 : Add SSH keys to SSH Agent
@matthewzring
matthewzring / markdown-text-101.md
Last active May 3, 2025 15:24
A guide to Markdown on Discord.

Markdown Text 101

Want to inject some flavor into your everyday text chat? You're in luck! Discord uses Markdown, a simple plain text formatting system that'll help you make your sentences stand out. Here's how to do it! Just add a few characters before & after your desired text to change your text! I'll show you some examples...

What this guide covers:

@parmentf
parmentf / GitCommitEmoji.md
Last active April 30, 2025 21:43
Git Commit message Emoji