Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.
Sign up
Popular repositories
-
tenacity
Retrying library for Python
-
daiquiri
Python library to easily setup basic logging functionality
-
pifpaf
Python fixtures and daemon managing tools for functional testing
-
asciidoc-book-toolchain
Book publishing toolchain based on AsciiDoc
-
git-pull-request
Send git pull-request via command line
-
google-maps.el
Google Maps support for Emacs
1,473 contributions in the last year
Activity overview
Contribution activity
October 2018
Created a pull request in Mergifyio/mergify-engine that received 11 comments
- Pull request for move-actions
- backport: allow action to be expandable
- rules: fix convert when rule is None
- tasks/engine: fix typo in summary
- rules: add a cli tool to convert Mergify files
- filter: fix != operator on iterable
- convert: remove 'merged' from conditions
- rules: dump the full dict of rules
- engine/v2: fix typo in rules matching
- rules: replace state with closed
- filter: fix serialization format for boolean comparisons
- Add dismiss_reviews to action
- delete_head_branch: move filtering on conditions
- rules: fix white space parsing
- mergify: remove autoremove wip rule
- refresher: print help() by default
- Remove unused import
- debug: fix report call
Created an issue in Mergifyio/mergify-engine that received 2 comments
Allow to merge with classic `git rebase`
GitHub rebase merge is different than git rebase as it always rewrite the commit, which might be a pain. This is described here https://help.github…
2
comments