deploy site from 22aad8e

Author: leanprover-community-bot

meet.html

@@ -126,7 +126,9 @@ <h2 id="community-guidelines" class="markdown-heading">Community guidelines <a c
 These guidelines apply to the
 <a href="https://leanprover.zulipchat.com/">Lean Zulip chat</a>
 and the <a href="https://github.com/leanprover-community/">leanprover-community GitHub organization</a>.</p>
-<p>To clarify the above: actions that can result in suspension or banning from the Lean community Zulip include harassment, discriminatory or disrespectful behavior, sustained off-topic or disruptive posts, repeated low effort posts, use of the community to complete coursework or work tasks, use of sock-puppet accounts, DM spam, unsolicited mass DMs to users, significant use of AI without attribution, posting of &quot;slop&quot; AI-generated code accompanied by unjustified and incorrect claims about said code, and ignoring moderator guidance. This list is not exhaustive and the maintainers retain broad discretion in user moderation.</p>
+<p>To clarify the above: actions that can result in suspension or banning from the Lean community Zulip include harassment, discriminatory or disrespectful behavior, sustained off-topic or disruptive posts, repeated low effort posts, use of the community to complete coursework or work tasks, use of sock-puppet accounts, DM spam, unsolicited mass DMs to users, significant use of AI without attribution, unrequested posting of &quot;slop&quot; AI-generated code, making unjustified and incorrect claims about AI-generated code, and ignoring moderator guidance.</p>
+<p>This is not a free code review service. Posts that amount to 'look at my project' without a specific question or prior community involvement will be removed and the poster suspended.</p>
+<p>This list is not exhaustive and the maintainers retain broad discretion in user moderation.</p>
 <p>Repeated violations will result in temporary suspensions, which will increase in length if the behavior continues. Egregious individual incidents will result in bans.</p>
 <p>The <a href="/teams/coc.html">code of conduct team</a> serves as first point of contact
 for reporting any concerns.
@@ -292,6 +294,18 @@ <h6 class="sidebar-heading mt-4">Contributing</h6>
 var markers = L.markerClusterGroup();
 
 
+var marker = L.marker([45.729708, 4.82664]);
+marker.bindPopup("<b>Sophie Morel</b><br>GitHub: <a href=\"https://github.com/smorel394\">smorel394</a>");
+markers.addLayer(marker);
+
+var marker_left = L.marker([45.729708, -355.17336]);
+marker_left.bindPopup("<b>Sophie Morel</b><br>GitHub: <a href=\"https://github.com/smorel394\">smorel394</a>");
+markers.addLayer(marker_left);
+
+var marker_right = L.marker([45.729708, 364.82664]);
+marker_right.bindPopup("<b>Sophie Morel</b><br>GitHub: <a href=\"https://github.com/smorel394\">smorel394</a>");
+markers.addLayer(marker_right);
+
 var marker = L.marker([48.119134, -1.641871]);
 marker.bindPopup("<b><a href=\"https://perso.univ-rennes1.fr/sebastien.gouezel/\">Sébastien Gouëzel</a></b><br>GitHub: <a href=\"https://github.com/sgouezel\">sgouezel</a>");
 markers.addLayer(marker);
@@ -2860,18 +2874,6 @@ <h6 class="sidebar-heading mt-4">Contributing</h6>
 marker_right.bindPopup("<b>Moritz Doll</b><br>GitHub: <a href=\"https://github.com/mcdoll\">mcdoll</a>");
 markers.addLayer(marker_right);
 
-var marker = L.marker([45.729708, 4.82664]);
-marker.bindPopup("<b>Sophie Morel</b><br>GitHub: <a href=\"https://github.com/smorel394\">smorel394</a>");
-markers.addLayer(marker);
-
-var marker_left = L.marker([45.729708, -355.17336]);
-marker_left.bindPopup("<b>Sophie Morel</b><br>GitHub: <a href=\"https://github.com/smorel394\">smorel394</a>");
-markers.addLayer(marker_left);
-
-var marker_right = L.marker([45.729708, 364.82664]);
-marker_right.bindPopup("<b>Sophie Morel</b><br>GitHub: <a href=\"https://github.com/smorel394\">smorel394</a>");
-markers.addLayer(marker_right);
-
 var marker = L.marker([-22.5, -41.922]);
 marker.bindPopup("<b><a href=\"http://anggtwu.net/eev-lean4.html\">Eduardo Ochs</a></b><br>GitHub: <a href=\"https://github.com/edrx\">edrx</a>");
 markers.addLayer(marker);