Block or report user

Report or block felipeborges

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Pinned repositories

  1. GNOME/gnome-control-center

    GNOME's main interface to configure various aspects of the desktop

    C 41 30

  2. GNOME/gtk

    Multi-platform toolkit

    C 512 214

  3. GNOME/gnome-boxes

    A simple GNOME 3 application to access remote or virtual systems

    Vala 32 10

  4. GNOME/gnome-usage

    View system usage information

    Vala 15 2

  5. GNOME/gnome-shell

    Next generation GNOME desktop shell

    JavaScript 312 97

  6. gnome-shell-extension-focusli

    Improve focus and increase your productivity by listening to different sounds right from GNOME Shell.

    JavaScript 40 6

73 contributions in the last year

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

Contribution activity

October 2018

Created a pull request in flathub/flathub that received 4 comments

Add GNOME SoundRecorder

I use gnome-sound-recorder for some small voice recordings, and it would be nice to have it in Flathub. It has a very simple manifest.

+32 −0 4 comments

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