iris-project/chat.html at master · logsem/iris-project · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
<!DOCTYPE html>
<html lang="en">
  <head>
    <meta charset="utf-8">
    <meta http-equiv="X-UA-Compatible" content="IE=edge">
    <meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
    <meta name="description" content="">
    <meta name="author" content="">
    <meta name="referrer" content="origin-when-crossorigin">
    <link rel="icon" href="../../favicon.ico">

    <title>Iris Chat Room</title>

    <link rel="stylesheet" href="bootstrap.min.css" integrity="sha384-rbsA2VBKQhggwzxH7pPCaAqO46MgnOM80zW1RWuH61DGLwZJEdK2Kadq2F9CUG65" crossorigin="anonymous">

    <link rel="stylesheet" href="style.css" />

  </head>

  <body>
    <div class="bg-secondary py-5 mb-3 text-sm-center" style="--bs-bg-opacity : 0.1">
      <div class="container">
	    <h1 class="jumbotron-heading display-1">Iris Project</h1>

        <div>
	      <h2>Chat Room</h2>
        </div>
      </div>
    </div>

    <div class="container">

      <div>
        <p class="lead">
          The Iris chat room is a place to meet other Iris users as well as the Iris developers. It is a great place to ask all sorts of questions about Iris.
          To join the chat room, you will first have to create an account with the MPI-SWS GitLab:
          <ol>
            <li>Go to <a href="https://gitlab.mpi-sws.org/users/sign_in">the log-in page</a> and select the "GitHub" button, then log in with your Github account.
              (Unfortunately, local registration in this GitLab instance is no longer possible due to enormous amounts of spam and inadequate support in GitLab for dealing with such spam.)</li>
            <li><a href="https://mattermost.mpi-sws.org/">Log in to Mattermost</a>; this should use your GitLab login.</li> <!-- work-around for https://github.com/mattermost/mattermost/issues/33801 -->
            <!-- <li>Contact <a href="https://gitlab.mpi-sws.org/jung">Ralf Jung</a> with your account name to have the account unlocked. (Due to large amounts of spam, unfortunately accounts have to be manually unlocked.)</li> -->
            <li><a href="https://mattermost.mpi-sws.org/iris">Join the Iris chat room</a>.</li>
          </ol>
        </p>
      </div>
    </div>

  </body>
</html>