joshbuchea

Semantic Commit Messages

See how a minor change to your commit message style can make you a better programmer.

Format: <type>(<scope>): <subject>

<scope> is optional

Example

zabaala

<?php

namespace App\Commands;

use Illuminate\Console\Command;

class DescTableCommand extends Command
{
    /**
     * The name and signature of the console command.

zabaala

<?php

namespace App\Commands\Database;

use Illuminate\Support\ServiceProvider;

class BindDatabaseServiceProvider extends ServiceProvider
{
    public function boot()
    {

seanh

HTML Tags You Can Use on GitHub

Wherever HTML is rendered on GitHub (gists, README files in repos, comments on issues and pull requests, ...) you can use any of the HTML elements that GitHub Flavored Markdown (GFM) provides syntactic sugar for. You can either use the syntactic sugar that GFM (or other GitHub-supported markup language you're using) provides or, since Markdown can contain raw HTML, you can enter the HTML tags manually.

But GitHub also allows you to use a few HTML elements beyond what Markdown provides by entering the tags manually, and some of them are styled with CSS. Most raw HTML tags get stripped before rendering the HTML. Those tags that can be generated by GFM syntactic sugar, plus a few more, are whitelisted. These aren't documented anywhere that I can find. Here's what I've discovered so far:

<details> and <summary>

A `<detai

adamwathan

<?php

namespace App\Providers;

use Illuminate\Http\Request;
use Illuminate\Routing\Route;
use Illuminate\Support\ServiceProvider;
use App\Http\Middleware\CaptureRequestExtension;

class AppServiceProvider extends ServiceProvider

justinmeiners

import math

def sqrt(x_0, guess, tol):
    x = guess
    while math.fabs(x*x - x_0) > tol:
        x = (x*x - x_0) / (2.0 * x)
    return x

print(sqrt(2.0, 2.0, 0.0001))

scragly

Discord Emoji

Note: This is written for those using Python 3 and discord.py, so if you're using something else please reference the relevant documentation for your language or library if you choose to use this as a general reference.

On Discord, there are two different emoji types:

• Unicode Emoji
• Custom Emoji

Each needs to be handled differently, as while unicode emoji are just simple unicode characters, Discord custom emoji are special objects available only in Discord, belonging to a specific Discord guild and having their own snowflake ID.

justinmeiners

READ HERE

justinmeiners

READ HERE

Soheab

discord.Colour

See here every colour and method the discord.Colour class has.

Jump Links

Colours

• Teal
• Green
• Blue
• Purple