Skip to content
This repository has been archived by the owner on Mar 16, 2024. It is now read-only.

Check if dir is a git repo before adding remote in it (#2245) #2249

Merged
merged 1 commit into from
Oct 17, 2023
Merged

Check if dir is a git repo before adding remote in it (#2245) #2249

merged 1 commit into from
Oct 17, 2023

Conversation

keyallis
Copy link
Contributor

@keyallis keyallis commented Oct 16, 2023

#2245

Also add some additional output to inform user about the location of the repo

Checklist

  • The title of this PR would make a good line in Acorn's Release Note's Changelog
  • The title of this PR ends with a link to the main issue being address in parentheses, like: This is a title (#1216). Here's an example
  • All relevant issues are referenced in the PR description. NOTE: don't use GitHub keywords that auto-close issues
  • Commits follow contributing guidance
  • Automated tests added to cover the changes. If tests couldn't be added, an explanation is provided in the Verification and Testing section
  • Changes to user-facing functionality, API, CLI, and upgrade impacts are clearly called out in PR description
  • PR has at least two approvals before merging (or a reasonable exception, like it's just a docs change)

@keyallis keyallis merged commit 87ccaa2 into acorn-io:main Oct 17, 2023
@keyallis keyallis deleted the issue-2245 branch October 17, 2023 15:25
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants