doc/dev/release: make some minor corrections (#1081)

Author: AlexNPavel

doc/dev/release.md

@@ -77,7 +77,7 @@ The following sections, often directly copied from our [changelog][doc-changelog
 
 When a new release is created, the tag for the commit it signed with a maintainers' gpg key and
 the binaries for the release are also signed by the same key. All keys used by maintainers will
-be available via public PGP keyservers such as [pgp.mit.edu][mit-keyserver].
+be available via public PGP keyservers such as [pool.sks-keyservers.net][sks-keyserver].
 
 For new maintainers who have not done a release and do not have their PGP key on a public
 keyserver, output your armored public key using this command:
@@ -87,7 +87,7 @@ $ gpg --armor --export "$GPG_EMAIL" > mykey.asc
 ```
 
 Then, copy and paste the content of the outputted file into the `Submit a key` section on
-the [MIT PGP Public Key Server][mit-keyserver] or any other public keyserver that forwards
+the [SKS PGP Public Key Server][sks-keyserver] or any other public keyserver that synchronizes
 the key to other public keyservers. Once that is done, other people can download your public
 key and you are ready to sign releases.
 
@@ -184,8 +184,6 @@ Commit changes to the following six files:
 
 Create a new PR for `release-v1.3.0`.
 
-**Note:** CI will not pass for this commit because the new version `v1.3.0` does not exist yet in GitHub.
-
 ### 2. Create a release tag, binaries, and signatures
 
 The top-level `release.sh` script will take care of verifying versions in files described in step 1, and tagging and verifying the tag, as well as building binaries and generating signatures by calling `make release`.
@@ -258,5 +256,5 @@ You've now fully released a new version of the Operator SDK. Good work!
 [link-github-gpg-key-upload]:https://github.com/settings/keys
 [link-git-config-gpg-key]:https://git-scm.com/book/en/v2/Git-Tools-Signing-Your-Work
 [doc-changelog]:../../CHANGELOG.md
-[mit-keyserver]:https://pgp.mit.edu
+[sks-keyserver]:http://pool.sks-keyservers.net/
 [release-page]:https://github.com/operator-framework/operator-sdk/releases