Block or Report
Block or report mislav
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
-
-
-
tmm1/ripper-tags Public
fast, accurate ctags generator for ruby source code using Ripper
1,789 contributions in the last year
Less
More
Contribution activity
December 2022
Created 50 commits in 9 repositories
Created 1 repository
- mislav/features Shell
Created a pull request in devcontainers/features that received 19 comments
github-cli: simplify logic for detecting available gh releases
This change relies on git ls-remote --tags --sort=version:refname to sort git versions in a semver-compatible mode and alleviate the need to scan f…
+69
−210
•
19
comments
Opened 13 other pull requests in 4 repositories
cli/cli
5
merged
cli/oauth
4
merged
Homebrew/homebrew-core
3
closed
cli/safeexec
1
merged
Reviewed 21 pull requests in 7 repositories
cli/cli
13 pull requests
-
Add
--allow-update-branchto therepo editcommand - Allow setting codespace display name during create
- error instead of prompt for unset base repo
-
gh config basea way to configure the base repo - Change alias list output format to YAML
- Fix clobbering old files in release download
- Bump goreleaser/goreleaser-action from 3 to 4
- Linter fixes
- docs: Update installation instructions for WinGet
-
Add
isDrafttosearch prsjson options, matchingpr view - show token scopes on auth status
- feat(release): added printing of range of versions
- Include the scheme in display URLs, for e.g. VSCode to detect them as URLs.
cli/oauth
2 pull requests
go-survey/survey
2 pull requests
cli/gh-extension-precompile
1 pull request
cli/go-gh
1 pull request
github/hub
1 pull request
devcontainers/features
1 pull request
Opened 1 issue in 1 repository
imdario/mergo
1
open
Answered 4 discussions in 1 repository
cli/cli
cli/cli
-
Allow `gh pr push` to edit PRs from forks
This contribution was made on Dec 20
-
What is the format of `gh pr create`'s `--base` and `--head` arguments?
This contribution was made on Dec 12
-
Best way to create a new repository and push to it?
This contribution was made on Dec 12
-
Can't create repo
This contribution was made on Dec 8
3
contributions
in private repositories
Dec 1 – Dec 7







