Philippe-Cholet

#!/bin/sh

# Automatically sync the base branch of the remote fork and fetch it.

fork=Philippe-Cholet/itertools
base_branch=master
branch="$(git rev-parse --abbrev-ref HEAD)"
if [ "$branch" = "$base_branch" ]; then
	gh repo sync $fork -b $base_branch
	git fetch origin $base_branch

Philippe-Cholet

import re
try:
    # pip install browserhistory
    # https://github.com/kcp18/browserhistory
    import browserhistory as bh
    # It explores firefox, chrome and safari.
    query_result = [item for history in bh.get_browserhistory().values() for item in history]
except ImportError:
    # Or if you are on Windows and use Firefox like me, you do not need to install anything.
    import os

Philippe-Cholet

import ctypes
from collections import deque
from os import scandir, startfile
from os.path import basename, exists, isdir, splitext
from random import shuffle
from time import time
from typing import Deque, List

# py -m pip install WxPython PySimpleGUIWx
import PySimpleGUIWx as sg

Philippe-Cholet

import hashlib
import os
from collections import defaultdict
from multiprocessing.pool import ThreadPool
from typing import DefaultDict, Iterator, List, Optional, Set, Tuple

import PySimpleGUI as sg
from tqdm import tqdm

if os.name == 'nt':

Philippe-Cholet

import itertools as it
import os
import shutil
import subprocess as sp
from tempfile import NamedTemporaryFile
from time import sleep
from typing import List

import PySimpleGUI as sg

Philippe-Cholet

import os
import traceback
import typing  # overload
from contextlib import contextmanager
from difflib import SequenceMatcher
from typing import Any, Callable, Collection, Iterator, List, Tuple, Union

import click

__all__ = 'SafelyRename', 'default_files_comparisons'

Philippe-Cholet

Moved to https://github.com/Philippe-Cholet/github-pulls.

This personal command line tool allow to efficiently go through a lot of github repositories (from given users or given repos in a json file) to find pull requests and issues, and render results in a single webpage with links to them.