Skip to content

Commit f996036

Browse files
committed
chore: replace Gitcord logo with new Discord-GitHub fusion design
- Remove public/gitcord-logo.svg - Add public/gitcord.svg (new logo) - Update README.md to reference gitcord.svg Made-with: Cursor
1 parent f21749f commit f996036

3 files changed

Lines changed: 10 additions & 3 deletions

File tree

README.md

Lines changed: 10 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
<!-- Organization Logo -->
55
<div align="center" style="display: flex; align-items: center; justify-content: center; gap: 16px;">
66
<img alt="AOSSIE" src="public/aossie-logo.svg" width="175">
7-
<img alt="Gitcord" src="public/gitcord-logo.svg" width="175" />
7+
<img alt="Gitcord" src="public/gitcord.svg" width="175" />
88
</div>
99

1010
&nbsp;
@@ -58,6 +58,7 @@ Gitcord is a local, offline‑first automation engine that reads GitHub activity
5858
## 💻 Tech Stack
5959

6060
### Backend
61+
6162
- Python 3.11+
6263
- SQLite (local state)
6364
- Pydantic + PyYAML
@@ -87,6 +88,7 @@ Read -> Plan -> Report -> Apply
8788
```
8889

8990
Core boundaries:
91+
9092
- Readers are read‑only (GitHub/Discord ingestion).
9193
- Planners are pure, deterministic logic.
9294
- Writers are thin executors gated by `MutationPolicy`.
@@ -129,14 +131,17 @@ Before installing Gitcord, you need:
129131
### Quick Setup Overview
130132

131133
**1. Create GitHub Token** ([Detailed Guide](INSTALLATION.md#step-1-create-github-token-pat))
134+
132135
- Go to GitHub → Settings → Developer Settings → Fine-grained tokens
133136
- Permissions: Contents (Read & Write), Issues (Read & Write), Pull requests (Read & Write)
134137

135138
**2. Create Discord Bot** ([Detailed Guide](INSTALLATION.md#step-2-create-discord-bot))
139+
136140
- Go to [Discord Developer Portal](https://discord.com/developers/applications)
137141
- Create Application → Add Bot → Enable **Server Members Intent**
138142

139143
**3. Invite Bot to Server** ([Detailed Guide](INSTALLATION.md#step-3-invite-bot-to-discord-server))
144+
140145
- OAuth2 → URL Generator
141146
- Scopes: `bot`, `applications.commands`
142147
- Permissions: `Manage Roles`, `View Channels`, `Send Messages`, `Embed Links`, `Read Message History`
@@ -197,24 +202,27 @@ Wait 30 seconds for commands to sync.
197202
2. **Live role updates:** To have the bot actually add/remove roles in Discord, set in your config:
198203
- `runtime.mode: "active"`
199204
- `discord.permissions.write: true`
200-
Then run `run-once` again. Ensure the bot’s role in the server is **above** any roles it should assign (Server Settings → Roles). See [Testing in Discord](docs/TESTING_DISCORD.md) for details.
205+
Then run `run-once` again. Ensure the bot’s role in the server is **above** any roles it should assign (Server Settings → Roles). See [Testing in Discord](docs/TESTING_DISCORD.md) for details.
201206

202207
---
203208

204209
## 🤖 Discord Bot Commands
205210

206211
### Identity Linking
212+
207213
- `/link` - Link your Discord account to GitHub (creates verification code)
208214
- `/verify-link` - Verify your GitHub link after adding code to bio/gist
209215
- `/verify` - Check your verification status
210216
- `/status` - Show verification state, activity window, and roles
211217
- `/unlink` - Unlink your GitHub identity
212218

213219
### Contribution & Metrics
220+
214221
- `/summary` - Show your contribution metrics (7 and 30 days)
215222
- `/pr-info` - Show PR context preview (repository, reviews, CI status)
216223

217224
### Issue Management
225+
218226
- `/request-issue` - Request to be assigned to a GitHub issue
219227
- `/assign-issue` - Assign issue to Discord user (mentor-only)
220228
- `/issue-requests` - Review pending issue requests (mentor-only)

public/gitcord-logo.svg

Lines changed: 0 additions & 1 deletion
This file was deleted.

public/gitcord.svg

21 KB
Loading

0 commit comments

Comments
 (0)