Rollen-Ping beim Devlog: Erwähnung + Abo-Button

- Setting devlog_ping_role_id (Rollen-Dropdown auf der Setup-Seite, leer = aus)
- Devlog-Post erwähnt die Rolle (allowedMentions gescoped) und trägt einen
  🔔-Button, über den Member die Rolle selbst an-/abmelden (ephemere Bestätigung)
- API liefert vergebbare Rollen (ohne @everyone/managed), PUT validiert

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

frontend/src/pages/Settings.jsx

@@ -152,6 +152,23 @@ export default function Settings({ me }) {
                     </div>
                 </div>
 
+                {/* Devlog */}
+                <div className="settings-section">
+                    <h2 className="settings-title">// Devlog</h2>
+                    <div className="field">
+                        <label>Ping-Rolle <span className="field-hint">wird bei jedem Devlog-Post erwähnt; Member abonnieren sie über den 🔔-Button am Post — leer = kein Ping</span></label>
+                        <select
+                            value={form.devlog_ping_role_id ?? ''}
+                            onChange={(e) => setForm({ ...form, devlog_ping_role_id: e.target.value })}
+                        >
+                            <option value="">— kein Ping —</option>
+                            {(data.roles ?? []).map((r) => (
+                                <option key={r.id} value={r.id}>@{r.name} — {r.guild}</option>
+                            ))}
+                        </select>
+                    </div>
+                </div>
+
                 {/* Commit-Feed */}
                 <div className="settings-section">
                     <h2 className="settings-title">// Commit-Feed</h2>