diff --git a/src/cargo/ops/cargo_new.rs b/src/cargo/ops/cargo_new.rs
index ca1339afa17f..e676edcc6987 100644
--- a/src/cargo/ops/cargo_new.rs
+++ b/src/cargo/ops/cargo_new.rs
@@ -93,7 +93,6 @@ struct MkOptions<'a> {
     path: &'a Path,
     name: &'a str,
     source_files: Vec<SourceFileInformation>,
-    bin: bool,
     edition: Option<&'a str>,
     registry: Option<&'a str>,
 }
@@ -447,7 +446,6 @@ pub fn new(opts: &NewOptions, config: &Config) -> CargoResult<()> {
         path,
         name,
         source_files: vec![plan_new_source_file(opts.kind.is_bin(), name.to_string())],
-        bin: is_bin,
         edition: opts.edition.as_deref(),
         registry: opts.registry.as_deref(),
     };
@@ -552,7 +550,6 @@ pub fn init(opts: &NewOptions, config: &Config) -> CargoResult<NewProjectKind> {
         version_control,
         path,
         name,
-        bin: has_bin,
         source_files: src_paths_types,
         edition: opts.edition.as_deref(),
         registry: opts.registry.as_deref(),
@@ -744,9 +741,6 @@ fn mk(config: &Config, opts: &MkOptions<'_>) -> CargoResult<()> {
     // for all mutually-incompatible VCS in terms of syntax are in sync.
     let mut ignore = IgnoreList::new();
     ignore.push("/target", "^target$", "target");
-    if !opts.bin {
-        ignore.push("/Cargo.lock", "^Cargo.lock$", "Cargo.lock");
-    }
 
     let vcs = opts.version_control.unwrap_or_else(|| {
         let in_existing_vcs = existing_vcs_repo(path.parent().unwrap_or(path), config.cwd());
diff --git a/src/doc/src/faq.md b/src/doc/src/faq.md
index e4a753413f64..d9fbb44e2adf 100644
--- a/src/doc/src/faq.md
+++ b/src/doc/src/faq.md
@@ -102,7 +102,7 @@ issue][cargo-issues].
 
 [cargo-issues]: https://github.com/rust-lang/cargo/issues
 
-### Why do binaries have `Cargo.lock` in version control, but not libraries?
+### Why should I always have `Cargo.lock` in version control?
 
 The purpose of a `Cargo.lock` lockfile is to describe the state of the world at
 the time of a successful build. Cargo uses the lockfile to provide
@@ -110,25 +110,24 @@ deterministic builds on different times and different systems, by ensuring that
 the exact same dependencies and versions are used as when the `Cargo.lock` file
 was originally generated.
 
-This property is most desirable from applications and packages which are at the
-very end of the dependency chain (binaries). As a result, it is recommended that
-all binaries check in their `Cargo.lock`.
-
-For libraries the situation is somewhat different. A library is not only used by
-the library developers, but also any downstream consumers of the library. Users
-dependent on the library will not inspect the library’s `Cargo.lock` (even if it
-exists). This is precisely because a library should **not** be deterministically
-recompiled for all users of the library.
-
-If a library ends up being used transitively by several dependencies, it’s
-likely that just a single copy of the library is desired (based on semver
-compatibility). If Cargo used all of the dependencies' `Cargo.lock` files,
-then multiple copies of the library could be used, and perhaps even a version
-conflict.
-
-In other words, libraries specify SemVer requirements for their dependencies but
-cannot see the full picture. Only end products like binaries have a full
-picture to decide what versions of dependencies should be used.
+This property is desirable for all projects, whether they are intended to be used
+as a library or from applications and packages which are at the very end of the
+dependency chain (binaries). As a result, it is recommended that all projects
+check in their `Cargo.lock`. This allows all users to clone a project and start
+working on it risking unexpected dependency issues.
+
+Note that a `Cargo.lock` in a library is only useful when developing it, it is
+ignored when using the library as a dependency. It is however very useful when
+developing. It ensures reproducible tests when going through the version history.
+It also allows advanced users to inspect for library's `Cargo.lock` when facing
+compatibility issues with dependencies. In particular, it allows reproducibility
+across different environments such as a Continuous Integration (CI) server or the
+workstations of all contributors.
+
+It is recommended for all projects, and libraries in particular, to regularly
+refresh their lockfile to detect compatibility issues with dependencies as soon
+as possible. You can achieve it manually with [`cargo update`][cargo-update] or
+with tools such as _Dependabot_.
 
 ### Can libraries use `*` as a version for their dependencies?
 
@@ -301,6 +300,7 @@ causes and provide diagnostic techniques to help you out there:
   and `Cargo.toml` using a [custom merge tool].
 
 
+[cargo-update]: ./commands/cargo-update.md
 [links]: https://doc.rust-lang.org/cargo/reference/resolver.html#links
 [conventions in place]: https://doc.rust-lang.org/cargo/reference/build-scripts.html#-sys-packages
 [`direct-minimal-versions`]: https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#direct-minimal-versions
diff --git a/src/doc/src/guide/cargo-toml-vs-cargo-lock.md b/src/doc/src/guide/cargo-toml-vs-cargo-lock.md
index 9b0426684bf2..fc5f971c1a32 100644
--- a/src/doc/src/guide/cargo-toml-vs-cargo-lock.md
+++ b/src/doc/src/guide/cargo-toml-vs-cargo-lock.md
@@ -8,14 +8,11 @@ about them, here’s a summary:
 * `Cargo.lock` contains exact information about your dependencies. It is
   maintained by Cargo and should not be manually edited.
 
-If you’re building a non-end product, such as a rust library that other rust
-[packages][def-package] will depend on, put `Cargo.lock` in your
-`.gitignore`. If you’re building an end product, which are executable like
-command-line tool or an application, or a system library with crate-type of
-`staticlib` or `cdylib`, check `Cargo.lock` into `git`. If you're curious
+Always check `Cargo.lock` into `git`. This advice applies to all projects:
+libraries, command line tools, applications, etc. If you're curious
 about why that is, see
-["Why do binaries have `Cargo.lock` in version control, but not libraries?" in the
-FAQ](../faq.md#why-do-binaries-have-cargolock-in-version-control-but-not-libraries).
+["Why should I always have `Cargo.lock` in version control?" in the
+FAQ](../faq.md#why-should-i-always-have-cargolock-in-version-control).
 
 Let’s dig in a little bit more.
 
diff --git a/tests/testsuite/init/auto_git/out/.gitignore b/tests/testsuite/init/auto_git/out/.gitignore
index 4fffb2f89cbd..ea8c4bf7f35f 100644
--- a/tests/testsuite/init/auto_git/out/.gitignore
+++ b/tests/testsuite/init/auto_git/out/.gitignore
@@ -1,2 +1 @@
 /target
-/Cargo.lock
diff --git a/tests/testsuite/init/fossil_autodetect/out/.fossil-settings/ignore-glob b/tests/testsuite/init/fossil_autodetect/out/.fossil-settings/ignore-glob
index a9d37c560c6a..eb5a316cbd19 100644
--- a/tests/testsuite/init/fossil_autodetect/out/.fossil-settings/ignore-glob
+++ b/tests/testsuite/init/fossil_autodetect/out/.fossil-settings/ignore-glob
@@ -1,2 +1 @@
 target
-Cargo.lock
diff --git a/tests/testsuite/init/git_autodetect/out/.gitignore b/tests/testsuite/init/git_autodetect/out/.gitignore
index 4fffb2f89cbd..ea8c4bf7f35f 100644
--- a/tests/testsuite/init/git_autodetect/out/.gitignore
+++ b/tests/testsuite/init/git_autodetect/out/.gitignore
@@ -1,2 +1 @@
 /target
-/Cargo.lock
diff --git a/tests/testsuite/init/git_ignore_exists_no_conflicting_entries/out/.gitignore b/tests/testsuite/init/git_ignore_exists_no_conflicting_entries/out/.gitignore
index e2e02f22f3c4..914d4ecb721a 100644
--- a/tests/testsuite/init/git_ignore_exists_no_conflicting_entries/out/.gitignore
+++ b/tests/testsuite/init/git_ignore_exists_no_conflicting_entries/out/.gitignore
@@ -3,4 +3,3 @@
 # Added by cargo
 
 /target
-/Cargo.lock
diff --git a/tests/testsuite/init/inferred_lib_with_git/out/.gitignore b/tests/testsuite/init/inferred_lib_with_git/out/.gitignore
index 4fffb2f89cbd..ea8c4bf7f35f 100644
--- a/tests/testsuite/init/inferred_lib_with_git/out/.gitignore
+++ b/tests/testsuite/init/inferred_lib_with_git/out/.gitignore
@@ -1,2 +1 @@
 /target
-/Cargo.lock
diff --git a/tests/testsuite/init/mercurial_autodetect/out/.hgignore b/tests/testsuite/init/mercurial_autodetect/out/.hgignore
index 0cc56e7ff73a..3b11056a1295 100644
--- a/tests/testsuite/init/mercurial_autodetect/out/.hgignore
+++ b/tests/testsuite/init/mercurial_autodetect/out/.hgignore
@@ -1,2 +1 @@
 ^target$
-^Cargo.lock$
diff --git a/tests/testsuite/init/pijul_autodetect/out/.ignore b/tests/testsuite/init/pijul_autodetect/out/.ignore
index 4fffb2f89cbd..ea8c4bf7f35f 100644
--- a/tests/testsuite/init/pijul_autodetect/out/.ignore
+++ b/tests/testsuite/init/pijul_autodetect/out/.ignore
@@ -1,2 +1 @@
 /target
-/Cargo.lock
diff --git a/tests/testsuite/init/simple_git/out/.gitignore b/tests/testsuite/init/simple_git/out/.gitignore
index 4fffb2f89cbd..ea8c4bf7f35f 100644
--- a/tests/testsuite/init/simple_git/out/.gitignore
+++ b/tests/testsuite/init/simple_git/out/.gitignore
@@ -1,2 +1 @@
 /target
-/Cargo.lock
diff --git a/tests/testsuite/init/simple_git_ignore_exists/out/.gitignore b/tests/testsuite/init/simple_git_ignore_exists/out/.gitignore
index 4447742e0eb5..5d097ae696c9 100644
--- a/tests/testsuite/init/simple_git_ignore_exists/out/.gitignore
+++ b/tests/testsuite/init/simple_git_ignore_exists/out/.gitignore
@@ -6,4 +6,3 @@
 # already existing elements were commented out
 
 #/target
-/Cargo.lock
diff --git a/tests/testsuite/init/simple_hg/out/.hgignore b/tests/testsuite/init/simple_hg/out/.hgignore
index 0cc56e7ff73a..3b11056a1295 100644
--- a/tests/testsuite/init/simple_hg/out/.hgignore
+++ b/tests/testsuite/init/simple_hg/out/.hgignore
@@ -1,2 +1 @@
 ^target$
-^Cargo.lock$
diff --git a/tests/testsuite/init/simple_hg_ignore_exists/out/.hgignore b/tests/testsuite/init/simple_hg_ignore_exists/out/.hgignore
index dd9ddffeb23a..a23820d48fff 100644
--- a/tests/testsuite/init/simple_hg_ignore_exists/out/.hgignore
+++ b/tests/testsuite/init/simple_hg_ignore_exists/out/.hgignore
@@ -3,4 +3,3 @@
 # Added by cargo
 
 ^target$
-^Cargo.lock$