<commit_before><commit_msg>Script to expedite the process of pushing to Heroku.<commit_after>#!/bin/bash

if [ "$1" = "demo" ]; then
	git checkout master
	git push nymph-demo
	exit 0
fi
if [ "$1" = "pubsub" ]; then
	git checkout nymph-pubsub-demo
	git merge master
	git push
	git push nymph-pubsub-demo +nymph-pubsub-demo:master
	git checkout master
	exit 0
fi

echo Options are "demo" or "pubsub".

{'fraction_non_alphanumeric': 0.10776942355889724, 'fraction_numerical': 0.010025062656641603, 'mean_word_length': 4.063291139240507, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '5113675', 'n_tokens_mistral': 152, 'n_tokens_neox': 141, 'n_words': 50}