codex-team / codex-team/codex.bot

Add difference between merged and closed PR

Open
#88 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Python
Stars
41
Forks
12
Avg merge
1h 1m
Merged PRs (30d)
1

Description

image

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.