Skip to content

Commit

Permalink
Merge 4bf62fc into 46c79a8
Browse files Browse the repository at this point in the history
  • Loading branch information
samoht committed Jul 5, 2022
2 parents 46c79a8 + 4bf62fc commit 5c5a10d
Show file tree
Hide file tree
Showing 352 changed files with 924 additions and 299 deletions.
4 changes: 2 additions & 2 deletions CONTRIBUTING.md
Expand Up @@ -42,7 +42,7 @@ several years, the copyright lines may look as follows:

```
(*
* Copyright (c) 2013-2021 Thomas Gazagnaire <thomas@gazagnaire.org>
* Copyright (c) 2018-2021 Tarides <contact@tarides.com>
* Copyright (c) 2013-2022 Thomas Gazagnaire <thomas@gazagnaire.org>
* Copyright (c) 2018-2022 Tarides <contact@tarides.com>
*
```
2 changes: 1 addition & 1 deletion bench/irmin-pack/bench_common.ml
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2018-2021 Tarides <contact@tarides.com>
* Copyright (c) 2018-2022 Tarides <contact@tarides.com>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion bench/irmin-pack/bench_common.mli
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2018-2021 Tarides <contact@tarides.com>
* Copyright (c) 2018-2022 Tarides <contact@tarides.com>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion bench/irmin-pack/import.ml
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2018-2021 Tarides <contact@tarides.com>
* Copyright (c) 2018-2022 Tarides <contact@tarides.com>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion bench/irmin-pack/main.ml
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2018-2021 Tarides <contact@tarides.com>
* Copyright (c) 2018-2022 Tarides <contact@tarides.com>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion bench/irmin-pack/tezos_history_metrics.ml
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2018-2021 Tarides <contact@tarides.com>
* Copyright (c) 2018-2022 Tarides <contact@tarides.com>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion bench/irmin-pack/trace_collection.ml
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2018-2021 Tarides <contact@tarides.com>
* Copyright (c) 2018-2022 Tarides <contact@tarides.com>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion bench/irmin-pack/trace_common.ml
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2018-2021 Tarides <contact@tarides.com>
* Copyright (c) 2018-2022 Tarides <contact@tarides.com>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion bench/irmin-pack/trace_definitions.ml
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2018-2021 Tarides <contact@tarides.com>
* Copyright (c) 2018-2022 Tarides <contact@tarides.com>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion bench/irmin-pack/trace_replay.ml
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2018-2021 Tarides <contact@tarides.com>
* Copyright (c) 2018-2022 Tarides <contact@tarides.com>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion bench/irmin-pack/trace_replay.mli
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2018-2021 Tarides <contact@tarides.com>
* Copyright (c) 2018-2022 Tarides <contact@tarides.com>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion bench/irmin-pack/trace_replay_intf.ml
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2018-2021 Tarides <contact@tarides.com>
* Copyright (c) 2018-2022 Tarides <contact@tarides.com>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion bench/irmin-pack/trace_stat_summary.ml
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2018-2021 Tarides <contact@tarides.com>
* Copyright (c) 2018-2022 Tarides <contact@tarides.com>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion bench/irmin-pack/trace_stat_summary_cb.ml
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2018-2021 Tarides <contact@tarides.com>
* Copyright (c) 2018-2022 Tarides <contact@tarides.com>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion bench/irmin-pack/trace_stat_summary_conf.ml
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2018-2021 Tarides <contact@tarides.com>
* Copyright (c) 2018-2022 Tarides <contact@tarides.com>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion bench/irmin-pack/trace_stat_summary_pp.ml
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2018-2021 Tarides <contact@tarides.com>
* Copyright (c) 2018-2022 Tarides <contact@tarides.com>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion bench/irmin-pack/trace_stat_summary_utils.ml
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2018-2021 Tarides <contact@tarides.com>
* Copyright (c) 2018-2022 Tarides <contact@tarides.com>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion bench/irmin-pack/trace_stats.ml
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2018-2021 Tarides <contact@tarides.com>
* Copyright (c) 2018-2022 Tarides <contact@tarides.com>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion bench/irmin-pack/tree.ml
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2018-2021 Tarides <contact@tarides.com>
* Copyright (c) 2018-2022 Tarides <contact@tarides.com>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion examples/config.ml
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2013-2021 Thomas Gazagnaire <thomas@gazagnaire.org>
* Copyright (c) 2013-2022 Thomas Gazagnaire <thomas@gazagnaire.org>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion examples/custom_graphql.ml
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2013-2021 Thomas Gazagnaire <thomas@gazagnaire.org>
* Copyright (c) 2013-2022 Thomas Gazagnaire <thomas@gazagnaire.org>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion examples/custom_merge.ml
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2013-2021 Thomas Gazagnaire <thomas@gazagnaire.org>
* Copyright (c) 2013-2022 Thomas Gazagnaire <thomas@gazagnaire.org>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion examples/deploy.ml
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2013-2021 Thomas Gazagnaire <thomas@gazagnaire.org>
* Copyright (c) 2013-2022 Thomas Gazagnaire <thomas@gazagnaire.org>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion examples/irmin_git_store.ml
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2013-2021 Thomas Gazagnaire <thomas@gazagnaire.org>
* Copyright (c) 2013-2022 Thomas Gazagnaire <thomas@gazagnaire.org>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion examples/process.ml
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2013-2021 Thomas Gazagnaire <thomas@gazagnaire.org>
* Copyright (c) 2013-2022 Thomas Gazagnaire <thomas@gazagnaire.org>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion examples/push.ml
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2013-2021 Thomas Gazagnaire <thomas@gazagnaire.org>
* Copyright (c) 2013-2022 Thomas Gazagnaire <thomas@gazagnaire.org>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion examples/sync.ml
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2013-2021 Thomas Gazagnaire <thomas@gazagnaire.org>
* Copyright (c) 2013-2022 Thomas Gazagnaire <thomas@gazagnaire.org>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion examples/trees.ml
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2013-2021 Thomas Gazagnaire <thomas@gazagnaire.org>
* Copyright (c) 2013-2022 Thomas Gazagnaire <thomas@gazagnaire.org>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
1 change: 1 addition & 0 deletions src/irmin-chunk/import.ml
@@ -1,5 +1,6 @@
(*
* Copyright (c) 2021 Craig Ferguson <craig@tarides.com>
* Copyright (c) 2018-2022 Tarides <contact@tarides.com>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion src/irmin-chunk/irmin_chunk.ml
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2013-2021 Thomas Gazagnaire <thomas@gazagnaire.org>
* Copyright (c) 2013-2022 Thomas Gazagnaire <thomas@gazagnaire.org>
* Copyright (c) 2015 Mounir Nasr Allah <mounir@nasrallah.co>
*
* Permission to use, copy, modify, and distribute this software for any
Expand Down
2 changes: 1 addition & 1 deletion src/irmin-chunk/irmin_chunk.mli
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2013-2021 Thomas Gazagnaire <thomas@gazagnaire.org>
* Copyright (c) 2013-2022 Thomas Gazagnaire <thomas@gazagnaire.org>
* Copyright (c) 2015 Mounir Nasr Allah <mounir@nasrallah.co>
*
* Permission to use, copy, modify, and distribute this software for any
Expand Down
2 changes: 1 addition & 1 deletion src/irmin-cli/bin/main.ml
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2013-2021 Thomas Gazagnaire <thomas@gazagnaire.org>
* Copyright (c) 2013-2022 Thomas Gazagnaire <thomas@gazagnaire.org>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion src/irmin-cli/cli.ml
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2013-2021 Thomas Gazagnaire <thomas@gazagnaire.org>
* Copyright (c) 2013-2022 Thomas Gazagnaire <thomas@gazagnaire.org>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion src/irmin-cli/cli.mli
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2013-2021 Thomas Gazagnaire <thomas@gazagnaire.org>
* Copyright (c) 2013-2022 Thomas Gazagnaire <thomas@gazagnaire.org>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion src/irmin-cli/resolver.ml
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2013-2021 Thomas Gazagnaire <thomas@gazagnaire.org>
* Copyright (c) 2013-2022 Thomas Gazagnaire <thomas@gazagnaire.org>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion src/irmin-cli/resolver.mli
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2013-2021 Thomas Gazagnaire <thomas@gazagnaire.org>
* Copyright (c) 2013-2022 Thomas Gazagnaire <thomas@gazagnaire.org>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
1 change: 1 addition & 0 deletions src/irmin-containers/import.ml
@@ -1,5 +1,6 @@
(*
* Copyright (c) 2021 Craig Ferguson <craig@tarides.com>
* Copyright (c) 2018-2022 Tarides <contact@tarides.com>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
1 change: 1 addition & 0 deletions src/irmin-fs/import.ml
@@ -1,5 +1,6 @@
(*
* Copyright (c) 2021 Craig Ferguson <craig@tarides.com>
* Copyright (c) 2018-2022 Tarides <contact@tarides.com>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion src/irmin-fs/irmin_fs.ml
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2013-2021 Thomas Gazagnaire <thomas@gazagnaire.org>
* Copyright (c) 2013-2022 Thomas Gazagnaire <thomas@gazagnaire.org>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion src/irmin-fs/irmin_fs.mli
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2013-2021 Thomas Gazagnaire <thomas@gazagnaire.org>
* Copyright (c) 2013-2022 Thomas Gazagnaire <thomas@gazagnaire.org>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion src/irmin-fs/unix/irmin_fs_unix.ml
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2013-2021 Thomas Gazagnaire <thomas@gazagnaire.org>
* Copyright (c) 2013-2022 Thomas Gazagnaire <thomas@gazagnaire.org>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion src/irmin-fs/unix/irmin_fs_unix.mli
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2013-2021 Thomas Gazagnaire <thomas@gazagnaire.org>
* Copyright (c) 2013-2022 Thomas Gazagnaire <thomas@gazagnaire.org>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion src/irmin-git/atomic_write.ml
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2013-2021 Thomas Gazagnaire <thomas@gazagnaire.org>
* Copyright (c) 2013-2022 Thomas Gazagnaire <thomas@gazagnaire.org>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion src/irmin-git/atomic_write.mli
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2013-2021 Thomas Gazagnaire <thomas@gazagnaire.org>
* Copyright (c) 2013-2022 Thomas Gazagnaire <thomas@gazagnaire.org>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion src/irmin-git/atomic_write_intf.ml
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2013-2021 Thomas Gazagnaire <thomas@gazagnaire.org>
* Copyright (c) 2013-2022 Thomas Gazagnaire <thomas@gazagnaire.org>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion src/irmin-git/backend.ml
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2013-2021 Thomas Gazagnaire <thomas@gazagnaire.org>
* Copyright (c) 2013-2022 Thomas Gazagnaire <thomas@gazagnaire.org>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion src/irmin-git/backend.mli
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2013-2021 Thomas Gazagnaire <thomas@gazagnaire.org>
* Copyright (c) 2013-2022 Thomas Gazagnaire <thomas@gazagnaire.org>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion src/irmin-git/branch.ml
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2013-2021 Thomas Gazagnaire <thomas@gazagnaire.org>
* Copyright (c) 2013-2022 Thomas Gazagnaire <thomas@gazagnaire.org>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion src/irmin-git/branch.mli
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2013-2021 Thomas Gazagnaire <thomas@gazagnaire.org>
* Copyright (c) 2013-2022 Thomas Gazagnaire <thomas@gazagnaire.org>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion src/irmin-git/commit.ml
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2013-2021 Thomas Gazagnaire <thomas@gazagnaire.org>
* Copyright (c) 2013-2022 Thomas Gazagnaire <thomas@gazagnaire.org>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion src/irmin-git/commit.mli
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2013-2021 Thomas Gazagnaire <thomas@gazagnaire.org>
* Copyright (c) 2013-2022 Thomas Gazagnaire <thomas@gazagnaire.org>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion src/irmin-git/conf.ml
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2013-2021 Thomas Gazagnaire <thomas@gazagnaire.org>
* Copyright (c) 2013-2022 Thomas Gazagnaire <thomas@gazagnaire.org>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion src/irmin-git/conf.mli
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2013-2021 Thomas Gazagnaire <thomas@gazagnaire.org>
* Copyright (c) 2013-2022 Thomas Gazagnaire <thomas@gazagnaire.org>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion src/irmin-git/content_addressable.ml
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2013-2021 Thomas Gazagnaire <thomas@gazagnaire.org>
* Copyright (c) 2013-2022 Thomas Gazagnaire <thomas@gazagnaire.org>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion src/irmin-git/content_addressable.mli
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2013-2021 Thomas Gazagnaire <thomas@gazagnaire.org>
* Copyright (c) 2013-2022 Thomas Gazagnaire <thomas@gazagnaire.org>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down
2 changes: 1 addition & 1 deletion src/irmin-git/content_addressable_intf.ml
@@ -1,5 +1,5 @@
(*
* Copyright (c) 2013-2021 Thomas Gazagnaire <thomas@gazagnaire.org>
* Copyright (c) 2013-2022 Thomas Gazagnaire <thomas@gazagnaire.org>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
Expand Down

0 comments on commit 5c5a10d

Please sign in to comment.