Block or report user

Pinned repositories

  1. multibootusb

    A collection of GRUB files and scripts that will allow you to create a pendrive capable of booting different ISO files

    Shell 232 68

  2. gnome-shell-edge-flipping

    GNOME Shell extension that provides reactive screen edges to switch between workspaces

    JavaScript 2 3

  3. .dotfiles

    Configuration files from my main computer

    Shell 1

891 contributions in the last year

Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Mon Wed Fri

Contribution activity First pull request First issue First repository Joined GitHub

March 2018

Seeing something unexpected? Take a look at the GitHub profile guide.