Utensil utensil

Github to Discord Webhook Tutorial

In this tutorial I'll show you how to create a Github webhook that will post updates from your Github account to a channel in Discord. The steps are simple so follow along!

Create a Webhook in a Discord Channel

First you need to create a webhook in a text channel. We're assuming you have both Manage Channel and Manage Webhooks permissions!

Go in a channel properties (Alternatively, Server Settings, Webhooks works too)

Github to Discord Webhook Tutorial

In this tutorial I'll show you how to create a Github webhook that will post updates from your Github account to a channel in Discord. The steps are simple so follow along!

Create a Webhook in a Discord Channel

First you need to create a webhook in a text channel. We're assuming you have both Manage Channel and Manage Webhooks permissions!

Go in a channel properties (Alternatively, Server Settings, Webhooks works too)

	import Mathlib.LinearAlgebra.CliffordAlgebra.Contraction
	import Mathlib.LinearAlgebra.ExteriorAlgebra.Grading

	set_option pp.proofs.withType false

	variable {R M} [CommRing R] [Invertible (2 : R)] [AddCommGroup M] [Module R M] (Q : QuadraticForm R M)

	abbrev ExteriorAlgebra.rMultivector (r : ℕ) : Submodule R (ExteriorAlgebra R M) :=
	(LinearMap.range (ExteriorAlgebra.ι R : M →ₗ[R] _) ^ r)

	echo 'export PATH=$HOME/local/bin:$PATH' >> ~/.bashrc
	. ~/.bashrc
	mkdir ~/local
	mkdir ~/node-latest-install
	cd ~/node-latest-install
	curl http://nodejs.org/dist/node-latest.tar.gz \| tar xz --strip-components=1
	./configure --prefix=~/local
	make install # ok, fine, this step probably takes more than 30 seconds...
	curl http://npmjs.org/install.sh \| sh

	// Use Gists to store code you would like to remember later on
	console.log(window); // log the "window" object to the console