Skip to content

Working#344

Open
roger7392 wants to merge 4 commits into
ShahzaibAhmad05:mainfrom
roger7392:working
Open

Working#344
roger7392 wants to merge 4 commits into
ShahzaibAhmad05:mainfrom
roger7392:working

Conversation

@roger7392

Copy link
Copy Markdown
Contributor

Fixes #306

Additionally, at the time of submission of this PR:

  • The referred issue is not blocked currently
  • All unittests passed after changes were made

@github-actions

Copy link
Copy Markdown

Thank you for the pull request! ✅

A maintainer will review this soon. Please be patient while we take a look. 🙌

@ShahzaibAhmad05

Copy link
Copy Markdown
Owner

@roger7392 Changes approved!

But the merge conflicts are really tough to deal with. Could you do the same implementation on an updated branch?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Rename --config-user to --user-config

2 participants