Merge pull request mirage#1961 from samoht/update-licenses

Add missing headers and update copyright years
metanivek · Jul 6, 2022 · abeee12 · abeee12
2 parents 46c79a8 + 4bf62fc
commit abeee12
Show file tree

Hide file tree

Showing 352 changed files with 924 additions and 299 deletions.
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
@@ -42,7 +42,7 @@ several years, the copyright lines may look as follows:
 
 ```
 (*
- * Copyright (c) 2013-2021 Thomas Gazagnaire <[email protected]>
- * Copyright (c) 2018-2021 Tarides <[email protected]>
+ * Copyright (c) 2013-2022 Thomas Gazagnaire <[email protected]>
+ * Copyright (c) 2018-2022 Tarides <[email protected]>
  *
 ```
diff --git a/bench/irmin-pack/bench_common.ml b/bench/irmin-pack/bench_common.ml
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2018-2021 Tarides <[email protected]>
+ * Copyright (c) 2018-2022 Tarides <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/bench/irmin-pack/bench_common.mli b/bench/irmin-pack/bench_common.mli
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2018-2021 Tarides <[email protected]>
+ * Copyright (c) 2018-2022 Tarides <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/bench/irmin-pack/import.ml b/bench/irmin-pack/import.ml
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2018-2021 Tarides <[email protected]>
+ * Copyright (c) 2018-2022 Tarides <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/bench/irmin-pack/main.ml b/bench/irmin-pack/main.ml
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2018-2021 Tarides <[email protected]>
+ * Copyright (c) 2018-2022 Tarides <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/bench/irmin-pack/tezos_history_metrics.ml b/bench/irmin-pack/tezos_history_metrics.ml
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2018-2021 Tarides <[email protected]>
+ * Copyright (c) 2018-2022 Tarides <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/bench/irmin-pack/trace_collection.ml b/bench/irmin-pack/trace_collection.ml
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2018-2021 Tarides <[email protected]>
+ * Copyright (c) 2018-2022 Tarides <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/bench/irmin-pack/trace_common.ml b/bench/irmin-pack/trace_common.ml
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2018-2021 Tarides <[email protected]>
+ * Copyright (c) 2018-2022 Tarides <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/bench/irmin-pack/trace_definitions.ml b/bench/irmin-pack/trace_definitions.ml
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2018-2021 Tarides <[email protected]>
+ * Copyright (c) 2018-2022 Tarides <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/bench/irmin-pack/trace_replay.ml b/bench/irmin-pack/trace_replay.ml
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2018-2021 Tarides <[email protected]>
+ * Copyright (c) 2018-2022 Tarides <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/bench/irmin-pack/trace_replay.mli b/bench/irmin-pack/trace_replay.mli
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2018-2021 Tarides <[email protected]>
+ * Copyright (c) 2018-2022 Tarides <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/bench/irmin-pack/trace_replay_intf.ml b/bench/irmin-pack/trace_replay_intf.ml
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2018-2021 Tarides <[email protected]>
+ * Copyright (c) 2018-2022 Tarides <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/bench/irmin-pack/trace_stat_summary.ml b/bench/irmin-pack/trace_stat_summary.ml
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2018-2021 Tarides <[email protected]>
+ * Copyright (c) 2018-2022 Tarides <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/bench/irmin-pack/trace_stat_summary_cb.ml b/bench/irmin-pack/trace_stat_summary_cb.ml
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2018-2021 Tarides <[email protected]>
+ * Copyright (c) 2018-2022 Tarides <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/bench/irmin-pack/trace_stat_summary_conf.ml b/bench/irmin-pack/trace_stat_summary_conf.ml
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2018-2021 Tarides <[email protected]>
+ * Copyright (c) 2018-2022 Tarides <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/bench/irmin-pack/trace_stat_summary_pp.ml b/bench/irmin-pack/trace_stat_summary_pp.ml
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2018-2021 Tarides <[email protected]>
+ * Copyright (c) 2018-2022 Tarides <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/bench/irmin-pack/trace_stat_summary_utils.ml b/bench/irmin-pack/trace_stat_summary_utils.ml
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2018-2021 Tarides <[email protected]>
+ * Copyright (c) 2018-2022 Tarides <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/bench/irmin-pack/trace_stats.ml b/bench/irmin-pack/trace_stats.ml
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2018-2021 Tarides <[email protected]>
+ * Copyright (c) 2018-2022 Tarides <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/bench/irmin-pack/tree.ml b/bench/irmin-pack/tree.ml
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2018-2021 Tarides <[email protected]>
+ * Copyright (c) 2018-2022 Tarides <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/examples/config.ml b/examples/config.ml
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2013-2021 Thomas Gazagnaire <[email protected]>
+ * Copyright (c) 2013-2022 Thomas Gazagnaire <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/examples/custom_graphql.ml b/examples/custom_graphql.ml
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2013-2021 Thomas Gazagnaire <[email protected]>
+ * Copyright (c) 2013-2022 Thomas Gazagnaire <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/examples/custom_merge.ml b/examples/custom_merge.ml
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2013-2021 Thomas Gazagnaire <[email protected]>
+ * Copyright (c) 2013-2022 Thomas Gazagnaire <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/examples/deploy.ml b/examples/deploy.ml
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2013-2021 Thomas Gazagnaire <[email protected]>
+ * Copyright (c) 2013-2022 Thomas Gazagnaire <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/examples/irmin_git_store.ml b/examples/irmin_git_store.ml
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2013-2021 Thomas Gazagnaire <[email protected]>
+ * Copyright (c) 2013-2022 Thomas Gazagnaire <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/examples/process.ml b/examples/process.ml
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2013-2021 Thomas Gazagnaire <[email protected]>
+ * Copyright (c) 2013-2022 Thomas Gazagnaire <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/examples/push.ml b/examples/push.ml
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2013-2021 Thomas Gazagnaire <[email protected]>
+ * Copyright (c) 2013-2022 Thomas Gazagnaire <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/examples/sync.ml b/examples/sync.ml
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2013-2021 Thomas Gazagnaire <[email protected]>
+ * Copyright (c) 2013-2022 Thomas Gazagnaire <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/examples/trees.ml b/examples/trees.ml
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2013-2021 Thomas Gazagnaire <[email protected]>
+ * Copyright (c) 2013-2022 Thomas Gazagnaire <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/src/irmin-chunk/import.ml b/src/irmin-chunk/import.ml
@@ -1,5 +1,6 @@
 (*
  * Copyright (c) 2021 Craig Ferguson <[email protected]>
+ * Copyright (c) 2018-2022 Tarides <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/src/irmin-chunk/irmin_chunk.ml b/src/irmin-chunk/irmin_chunk.ml
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2013-2021 Thomas Gazagnaire <[email protected]>
+ * Copyright (c) 2013-2022 Thomas Gazagnaire <[email protected]>
  * Copyright (c) 2015 Mounir Nasr Allah <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any

diff --git a/src/irmin-chunk/irmin_chunk.mli b/src/irmin-chunk/irmin_chunk.mli
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2013-2021 Thomas Gazagnaire <[email protected]>
+ * Copyright (c) 2013-2022 Thomas Gazagnaire <[email protected]>
  * Copyright (c) 2015 Mounir Nasr Allah <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any

diff --git a/src/irmin-cli/bin/main.ml b/src/irmin-cli/bin/main.ml
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2013-2021 Thomas Gazagnaire <[email protected]>
+ * Copyright (c) 2013-2022 Thomas Gazagnaire <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/src/irmin-cli/cli.ml b/src/irmin-cli/cli.ml
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2013-2021 Thomas Gazagnaire <[email protected]>
+ * Copyright (c) 2013-2022 Thomas Gazagnaire <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/src/irmin-cli/cli.mli b/src/irmin-cli/cli.mli
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2013-2021 Thomas Gazagnaire <[email protected]>
+ * Copyright (c) 2013-2022 Thomas Gazagnaire <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/src/irmin-cli/resolver.ml b/src/irmin-cli/resolver.ml
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2013-2021 Thomas Gazagnaire <[email protected]>
+ * Copyright (c) 2013-2022 Thomas Gazagnaire <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/src/irmin-cli/resolver.mli b/src/irmin-cli/resolver.mli
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2013-2021 Thomas Gazagnaire <[email protected]>
+ * Copyright (c) 2013-2022 Thomas Gazagnaire <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/src/irmin-containers/import.ml b/src/irmin-containers/import.ml
@@ -1,5 +1,6 @@
 (*
  * Copyright (c) 2021 Craig Ferguson <[email protected]>
+ * Copyright (c) 2018-2022 Tarides <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/src/irmin-fs/import.ml b/src/irmin-fs/import.ml
@@ -1,5 +1,6 @@
 (*
  * Copyright (c) 2021 Craig Ferguson <[email protected]>
+ * Copyright (c) 2018-2022 Tarides <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/src/irmin-fs/irmin_fs.ml b/src/irmin-fs/irmin_fs.ml
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2013-2021 Thomas Gazagnaire <[email protected]>
+ * Copyright (c) 2013-2022 Thomas Gazagnaire <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/src/irmin-fs/irmin_fs.mli b/src/irmin-fs/irmin_fs.mli
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2013-2021 Thomas Gazagnaire <[email protected]>
+ * Copyright (c) 2013-2022 Thomas Gazagnaire <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/src/irmin-fs/unix/irmin_fs_unix.ml b/src/irmin-fs/unix/irmin_fs_unix.ml
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2013-2021 Thomas Gazagnaire <[email protected]>
+ * Copyright (c) 2013-2022 Thomas Gazagnaire <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/src/irmin-fs/unix/irmin_fs_unix.mli b/src/irmin-fs/unix/irmin_fs_unix.mli
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2013-2021 Thomas Gazagnaire <[email protected]>
+ * Copyright (c) 2013-2022 Thomas Gazagnaire <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/src/irmin-git/atomic_write.ml b/src/irmin-git/atomic_write.ml
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2013-2021 Thomas Gazagnaire <[email protected]>
+ * Copyright (c) 2013-2022 Thomas Gazagnaire <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/src/irmin-git/atomic_write.mli b/src/irmin-git/atomic_write.mli
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2013-2021 Thomas Gazagnaire <[email protected]>
+ * Copyright (c) 2013-2022 Thomas Gazagnaire <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/src/irmin-git/atomic_write_intf.ml b/src/irmin-git/atomic_write_intf.ml
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2013-2021 Thomas Gazagnaire <[email protected]>
+ * Copyright (c) 2013-2022 Thomas Gazagnaire <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/src/irmin-git/backend.ml b/src/irmin-git/backend.ml
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2013-2021 Thomas Gazagnaire <[email protected]>
+ * Copyright (c) 2013-2022 Thomas Gazagnaire <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/src/irmin-git/backend.mli b/src/irmin-git/backend.mli
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2013-2021 Thomas Gazagnaire <[email protected]>
+ * Copyright (c) 2013-2022 Thomas Gazagnaire <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/src/irmin-git/branch.ml b/src/irmin-git/branch.ml
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2013-2021 Thomas Gazagnaire <[email protected]>
+ * Copyright (c) 2013-2022 Thomas Gazagnaire <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/src/irmin-git/branch.mli b/src/irmin-git/branch.mli
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2013-2021 Thomas Gazagnaire <[email protected]>
+ * Copyright (c) 2013-2022 Thomas Gazagnaire <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/src/irmin-git/commit.ml b/src/irmin-git/commit.ml
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2013-2021 Thomas Gazagnaire <[email protected]>
+ * Copyright (c) 2013-2022 Thomas Gazagnaire <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/src/irmin-git/commit.mli b/src/irmin-git/commit.mli
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2013-2021 Thomas Gazagnaire <[email protected]>
+ * Copyright (c) 2013-2022 Thomas Gazagnaire <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/src/irmin-git/conf.ml b/src/irmin-git/conf.ml
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2013-2021 Thomas Gazagnaire <[email protected]>
+ * Copyright (c) 2013-2022 Thomas Gazagnaire <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/src/irmin-git/conf.mli b/src/irmin-git/conf.mli
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2013-2021 Thomas Gazagnaire <[email protected]>
+ * Copyright (c) 2013-2022 Thomas Gazagnaire <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/src/irmin-git/content_addressable.ml b/src/irmin-git/content_addressable.ml
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2013-2021 Thomas Gazagnaire <[email protected]>
+ * Copyright (c) 2013-2022 Thomas Gazagnaire <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/src/irmin-git/content_addressable.mli b/src/irmin-git/content_addressable.mli
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2013-2021 Thomas Gazagnaire <[email protected]>
+ * Copyright (c) 2013-2022 Thomas Gazagnaire <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above

diff --git a/src/irmin-git/content_addressable_intf.ml b/src/irmin-git/content_addressable_intf.ml
@@ -1,5 +1,5 @@
 (*
- * Copyright (c) 2013-2021 Thomas Gazagnaire <[email protected]>
+ * Copyright (c) 2013-2022 Thomas Gazagnaire <[email protected]>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above