This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
set -e | |
# WARNING: This script will delete any untracked files present in the working tree | |
# Usage: reuse_merge <commit> | |
# where <commit> is a merge commit whose parents have identical contents to HEAD and MERGE_HEAD (which the script will check). | |
# This will reuse the state of the supplied merge to make a new merge commit on top of HEAD and MERGE_HEAD. | |
# This is useful when using `git rebase --rebase-merges`, when reworking commits between merges |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/env python3 | |
# Ce script nécessite l'installation de "dateparser": | |
# pip install dateparser | |
import json, sys, dateparser | |
# Adaptez ces lignes pour changer la source des données | |
source = 'SDIS 71' | |
sdis_id_key = 'ref:SDIS71' |