From 5a44b1c173d0032efcd75448e0650f2b8f5704a9 Mon Sep 17 00:00:00 2001
From: urikirsh <38188877+urikirsh@users.noreply.github.com>
Date: Mon, 30 Oct 2023 21:21:30 +0200
Subject: [PATCH] added new login instructions (#166)

* added new login instructions

* added title

* added words https and certora to allow the link

* Shelly's feedback
---
 docs/prover/index.md     |  1 +
 docs/prover/new_login.md | 22 ++++++++++++++++++++++
 spelling_wordlist.txt    |  2 ++
 3 files changed, 25 insertions(+)
 create mode 100644 docs/prover/new_login.md

diff --git a/docs/prover/index.md b/docs/prover/index.md
index 0408d549..b8691809 100644
--- a/docs/prover/index.md
+++ b/docs/prover/index.md
@@ -18,5 +18,6 @@ checking/index.md
 cli/index.md
 portal/using.md
 changelog/index.md
+new_login.md
 ```
 
diff --git a/docs/prover/new_login.md b/docs/prover/new_login.md
new file mode 100644
index 00000000..cdbc8c66
--- /dev/null
+++ b/docs/prover/new_login.md
@@ -0,0 +1,22 @@
+New Certora dashboard login
+============
+
+We are happy to announce that we are migrating to a new user management system that will use your email to access the Certora Prover dashboard. 
+Decoupling your account from a specific key will allow us to introduce features which will dramatically improve your developer experience in the future.  
+
+The migration to the new system is set to occur on Sunday, November 5th. You will receive a welcome email with an initial password and a link to the new login page.
+
+Please follow these instructions:
+- Once you receive the welcome email, log out of your accounts dashboard at Certora website
+- Click the `LOGIN TO CERTORA` link from the email. You will be redirected to the new login page and will be asked to change the initial password to activate your account
+- Follow the password prompts to authenticate the new password
+- After the initial login, replace the current Certora’s login page in your bookmarks with: https://prover.certora.com
+
+
+Once the steps above are done, your email address is going to be used as your username to login to Certora’s website (Prover dashboard) and it's going to replace the Certora Prover key during login.
+
+The Certora key will be used to run Prover as usual.
+
+**Note:** We are going to retain the current login page (using the Certora Prover key) active until November 19th. However, we encourage you not to use it after your account is activated.
+
+If you haven't received the welcome email by November 15th EOD, please contact us on  #help-desk channel in [our Discord server](https://discord.gg/certora). 
\ No newline at end of file
diff --git a/spelling_wordlist.txt b/spelling_wordlist.txt
index d3d99aee..190d9c3e 100644
--- a/spelling_wordlist.txt
+++ b/spelling_wordlist.txt
@@ -34,6 +34,7 @@ bugfix
 bytecode
 bytecodes
 callee
+certora
 changelog
 checkmark
 codebase
@@ -66,6 +67,7 @@ havoc
 havoced
 havocing
 havocs
+https
 hyperproperties
 hyperproperty
 immutable