Skip to content




Block or Report

Block or report Eric-Arellano

Block user

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.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse


  1. The Pantsbuild developer workflow system

    Python 2.2k 461

  2. A library and tool for generating .pex (Python EXecutable) files

    Python 2.1k 222

  3. Help for setting up pants for your build.

    Python 10 23

  4. A flake8 plugin for pantsbuild custom lints.

    Python 1 3

  5. Haskell app that uses finite automata to verify the correctness of specs.


  6. ngsc-app Public archive

    React + Flask app to show students' participation and what's going on within NGSC.

    Python 1

4,707 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri
Activity overview
Contributed to pantsbuild/pants, pantsbuild/pex, pantsbuild/example-python and 28 other repositories

Contribution activity

August 2022

Created 23 commits in 1 repository

Created a pull request in pantsbuild/pants that received 18 comments

Deprecate generate-lockfiles name in favor of shorter lock goal

Closes #15568. A user on Slack pointed out the name generate-lockfiles is unnecessarily verbose, and several users and maintainers agreed lock is a…

+94 −93 18 comments
Opened 34 other pull requests in 1 repository
pantsbuild/pants 25 merged 3 open 6 closed
Reviewed 99 pull requests in 4 repositories
pantsbuild/pants 25 pull requests
pantsbuild/pex 3 pull requests
pantsbuild/example-python 1 pull request
pantsbuild/pants-jupyter-plugin 1 pull request

Created an issue in pantsbuild/pants that received 6 comments

Add remove feature for dict options

We now have several dict-basd options, particularly the resolves options for JVM and Python. remove is useful to avoid having to duplicate what was…

72 contributions in private repositories Aug 1 – Aug 16

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