Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Pluma text editor plugins
Python 4
Caja file manage extensions
Python 1
Caja extension that shows information about the current git directory
Seeing something unexpected? Take a look at the GitHub profile guide.
fszymanski
Follow
fszymanski
Follow
