Use short hash, format time in pull notification

[Jerboa-app]

Closes #131

[BurrowBot]

Looks like you increased coverage by 1.06 %, fantastic!
Here is the full report breakdown

Total coverage 57.9 % (+1.06 % against main)
________________________________
src/main.rs                      | 0.0   % 0 / 63
src/server/api/stats.rs          | 0.0   % 0 / 78
src/server/http.rs               | 0.0   % 0 / 20
src/server/https.rs              | 5.97  % 4 / 67
src/server/stats/mod.rs          | 30.36 % 17 / 56
src/integrations/git/refresh.rs  | 30.91 % 17 / 55
src/lib.rs                       | 42.11 % 8 / 19
src/server/stats/hits.rs         | 45.68 % 37 / 81
src/integrations/github/mod.rs   | 55.13 % 43 / 78
src/server/throttle.rs           | 61.22 % 30 / 49
src/integrations/discord/post.rs | 62.5  % 10 / 16
src/server/stats/digest.rs       | 69.66 % 62 / 89
src/filesystem/folder.rs         | 71.11 % 32 / 45
src/content/mod.rs               | 72.48 % 79 / 109
src/task/mod.rs                  | 74.14 % 43 / 58
src/integrations/git/mod.rs      | 74.77 % 83 / 111
src/integrations/mod.rs          | 76.47 % 26 / 34
src/content/sitemap.rs           | 77.49 % 148 / 191
src/server/stats/file.rs         | 79.31 % 23 / 29
src/filesystem/file.rs           | 79.41 % 27 / 34
src/filesystem/mod.rs            | 80.0  % 8 / 10
src/util.rs                      | 82.76 % 72 / 87
src/config.rs                    | 92.11 % 35 / 38
src/content/filter.rs            | 100.0 % 5 / 5
src/content/mime_type.rs         | 100.0 % 31 / 31
src/integrations/webhook.rs      | 100.0 % 3 / 3
________________________________