Repositories
Name | Description | Last commit |
Projects | ||
git-backup | Back up remote git repositories locally. | 2020-08-16 22:09 |
git-shell-commands | Scripts for git-shell. | 2022-01-17 19:08 |
markion | Literate programming with Markdown. | 2020-08-17 12:51 |
oscarbenedito.com | Source code for my personal website. | 2023-08-19 18:45 |
osf | Oscar's Standalone Files. | 2022-01-07 19:56 |
stagit | Personal stagit fork. | 2022-08-31 21:50 |
timesheet | Plain text timesheet format and parser. | 2020-10-23 16:57 |
Personal setup | ||
dmenu | Personal dmenu fork. | 2022-10-09 10:43 |
dotfiles | My dotfiles. | 2023-11-06 17:41 |
dwm | Personal dwm fork. | 2021-05-12 19:16 |
dwmblocks | Personal dwmblocks fork. | 2022-05-15 17:13 |
slock | Personal slock fork. | 2021-05-12 19:21 |
Miscellanea | ||
st | Personal st fork. Currently unused. | 2020-06-22 16:33 |
Contribute
The best way to contribute to my repositories is through e-mail, check out git-send-email.io if you don’t know how to do that. Send your patches to patches@oscarbenedito.com and change the subject prefix to specify the repository you are sending the patch for. You can do that running the following command from the git repository:
git config format.subjectPrefix "PATCH <name-of-repository>"
You can also contribute on GitHub doing pull requests (all my public repositories are mirrored there, as well as SourceHut).