<commit_before><?php include "login.php";
?><commit_msg>Thinking about it again, once the user is logged in, is better that the root of the website is the home page. Therefore, we will keep it as it was and mantain the hard coded redirect on the home to login if the user hasn't logged in.<commit_after><?php include "home.php";
?>
{'fraction_non_alphanumeric': 0.08459214501510574, 'fraction_numerical': 0.0, 'mean_word_length': 4.824561403508772, 'pattern_counts': {'":': 0, '<': 5, '<?xml version=': 0, '>': 5, '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': '1133652', 'n_tokens_mistral': 90, 'n_tokens_neox': 89, 'n_words': 52}