crypto-jeronimo

ffmpeg -i "<original_audio_clip>" -filter:a "atempo=<target_tempo>" "<target_audio_clip>"
# where `<target_tempo>` should be < 1 for slower tempo, and > 1 (e.g., 1.4) for faster tempo

crypto-jeronimo

# Requires: gtts
# $ pip install --user --upgrade gtts

from gtts import gTTS

tts = gTTS(text='Hi! My name is Xora. Nice to meet you all!', lang='en-us', slow=False)
tts.save("xora_intro.mp3")

crypto-jeronimo

import pkgutil, importlib, sklearn, sys


def import_submodules(package_name):
    """ Import all submodules of a module, recursively

    :param package_name: Package name
    :type package_name: str
    :rtype: dict[types.ModuleType]
    """

crypto-jeronimo

Update on GitHub

1. Navigate to the "Admin" page for the repository you wish to rename.
2. Change the Repository Name and click on the "Rename" button.
3. GitHub will present you with a warning dialog. You should pay attention to this if you are renaming a repository shared by multiple people. In case you're the only committer, you can safely ignore the warning.

Update local copy: Option #1

1. Remove the local copy entirely.
2. Re-clone the repository.

crypto-jeronimo

Originally retrieved from here.

1. Clone your fork:

git clone git@github.com:YOUR-USERNAME/YOUR-FORKED-REPO.git

2. Add remote from original repository in your forked repository:

cd into/cloned/fork-repo

git remote add upstream git://github.com/ORIGINAL-DEV-USERNAME/REPO-YOU-FORKED-FROM.git