josephspurrier

#!/bin/bash
#
# chkconfig: 35 95 05
# description: Hello world application.

# Run at startup: sudo chkconfig hello-world on

# Load functions from library
. /etc/init.d/functions

nikhita

You need the rights to reopen pull requests on the repository.

1. Write down the current commit hash of your PR-branch git log --oneline -1 <PR-BRANCH>
2. Write down the latest commit hash on github before the PR has been closed.
3. git push -f origin <GITHUB-HASH-FROM-STEP-2>:<PR-BRANCH>
4. Reopen the PR.
5. git push -f origin <HASH-FROM-STEP-1>:<PR-BRANCH>

Example

You've a PR branch my-feature currently at 1234567. Looking at the the PRs page, we see that the PR was closed when my-feature pointed at 0abcdef.

exts

<?php
/*
Plugin Name: Beginner Grower: Custom Post Types
Plugin URI: https://beginnergrower.com
Description: Add's a 'articles' post type
Author: Lamonte Harris
Version: 1.0.0
Author URI: https://lamonte.dev
*/

exts

## Requires newer versions of ubuntu, I'm using Ubuntu 20

# install nginx
sudo apt install nginx

# add php8.X repository
sudo add-apt-repository ppa:ondrej/php
sudo apt update

# search libraries

vinzenz

package main

import (
	"database/sql"
	"fmt"
	"net"
	"os"

	"github.com/go-sql-driver/mysql"
	"golang.org/x/crypto/ssh"

lukehedger

$ ffmpeg -i input.mp4 -vcodec h264 -acodec mp2 output.mp4