Skip to content

Instantly share code, notes, and snippets.

View Yareaj's full-sized avatar
💻
Learning & Coding

Pablo Yareaj

💻
Learning & Coding
  • Bogotá, Colombia
  • 01:27 (UTC -05:00)
  • X @Yareaj_
View GitHub Profile
@mobilemind
mobilemind / git-tag-delete-local-and-remote.sh
Last active July 2, 2024 00:02
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
@kkrypt0nn
kkrypt0nn / ansi-colors-discord.md
Last active June 27, 2024 10:49
A guide to ANSI on Discord

A guide to ANSI on Discord

Discord is now slowly rolling out the ability to send colored messages within code blocks. It uses the ANSI color codes, so if you've tried to print colored text in your terminal or console with Python or other languages then it will be easy for you.

Quick Explanation

To be able to send a colored text, you need to use the ansi language for your code block and provide a prefix of this format before writing your text:

\u001b[{format};{color}m

\u001b is the unicode escape for ESCAPE/ESC, meant to be used in the source of your bot (see ). If you wish to send colored text without using your bot you need to copy the character from the website.

@NikanWasTaken
NikanWasTaken / logsWithForums.md
Last active June 7, 2024 05:11
Creating Github webhook logs with discord forums

1. Create a forums channel in your Discord server

Create a forums channel in your discord server, and deny create posts and send messages in posts permissions for @everyone

picture

picture

2. Create a webhook under the forums channel