Skip to content

Instantly share code, notes, and snippets.

View leodrummond's full-sized avatar
🇫🇷
Salut!

Leo leodrummond

🇫🇷
Salut!
View GitHub Profile
@leodrummond
leodrummond / Github Webhook Tutorial.md
Created April 13, 2023 17:14 — forked from jagrosh/Github Webhook Tutorial.md
Simple Github -> Discord webhook

Step 1 - Make a Discord Webhook

  1. Find the Discord channel in which you would like to send commits and other updates

  2. In the settings for that channel, find the Webhooks option and create a new webhook. Note: Do NOT give this URL out to the public. Anyone or service can post messages to this channel, without even needing to be in the server. Keep it safe! WebhookDiscord

Step 2 - Set up the webhook on Github

  1. Navigate to your repository on Github, and open the Settings Settings
@leodrummond
leodrummond / bulma-video-background.html
Created June 4, 2018 05:46
Bulma Hero with video background
<section class="hero is-fullheight video">
<div class="hero-video">
<video poster="img/bgimg.jpg" id="bgvid" playsinline autoplay muted loop>
<source src="vid/BGvid.webm" type="video/webm">
<source src="vid/BGvid.mp4" type="video/mp4">
</video>
</div>
<div class="hero-body">
<div class="container">
// Text content goes here (h1 and call to action etc...)
@leodrummond
leodrummond / gist:96d7f4d8680a7dcdd116465225648c09
Created May 10, 2018 11:27 — forked from davisford/gist:5039064
git clone into non-empty directory

Let's say you start a project locally, and do some editing.

$ mkdir -p ~/git/foo && cd ~/git/foo
$ touch NEWFILE

Now you decide you want to create a new github repo and track it, but the directory is non-empty so git won't let you clone into it. You can fix this, thusly:

Discord

(Unofficial) Discord server rules suggestions list

Introduction

You just had a great idea for a new Discord server and immediately created it but now you need not only to set up the channels and permissions but also to grind through the daunting task of coming up with a list of rules.

There are so many things to consider, so many possible ways that people could ruin your server, and you also wonder about how you can design your rules in such a way that the members will be able to enjoy their time on your server but also not go overboard.