alevgenk

import time
import os
from pathlib import Path
from datetime import timedelta


CMD_FILE_COPY = 'cp {} {}'
CMD_DIR_COPY = 'cp -r {} {}'
CMD_DEL = 'rm -fr {}'
SSD_SINGLE_FILE = Path('/path/to/big/file.ext') # REPLACE THIS

alevgenk

<?php
// Original from https://gist.github.com/magnetikonline/650e30e485c0f91f2f40

class DumpHTTPRequestToFile
{
    public function execute($targetFile, $append = true): void
    {
        $data = sprintf(
            "%s\n%s %s %s\n\nHTTP headers:\n",
            date("Y-m-d H:i:s"),

alevgenk

Initialize

gitflow	git
git flow init	git init
	git commit --allow-empty -m "Initial commit"
	git checkout -b develop master

Connect to the remote repository

alevgenk

# 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