bgromov

#!/bin/sh

# Credits: http://stackoverflow.com/a/750191

git filter-branch -f --env-filter "
    GIT_AUTHOR_NAME='Newname'
    GIT_AUTHOR_EMAIL='new@email'
    GIT_COMMITTER_NAME='Newname'
    GIT_COMMITTER_EMAIL='new@email'
  " HEAD

brenns10

language: python
python:
  - 3.5
install:
  - pip install sphinx sphinx_rtd_theme
script: make html
after_success:
  - ./push.sh
env:
  global:

dbu

#!/usr/bin/php
<?php
$repos = array();
exec('find -type d -name .git | sed -e "s/\.git//"', $repos);
foreach ($repos as $repo) {
    $status = shell_exec("cd $repo && git status");
    if (false == strpos($status, 'nothing to commit (working directory clean)')) {
        echo "$repo\n" . str_repeat('-', strlen($repo)) . "\n$status\n\n";
    }
}