Skip to content

More flexible arguments in TipModule.cs#327

Merged
hariedo merged 3 commits into
Unity-Developer-Community:masterfrom
hariedo:master
Jun 26, 2025
Merged

More flexible arguments in TipModule.cs#327
hariedo merged 3 commits into
Unity-Developer-Community:masterfrom
hariedo:master

Conversation

@hariedo

@hariedo hariedo commented Jun 23, 2025

Copy link
Copy Markdown

Instead of taking one argument which must be a comma-joined list of keywords, now !tip can take any number of space- or comma-joined keyword arguments.

Identical:
!tip left,outer,join (old requirement 1 argument)
!tip left,outer join
!tip left outer join (now, probably most natural)

@github-actions

Copy link
Copy Markdown

🚀 Deploy this PR to an environment

You can deploy this PR to either development or staging environment:

  • Comment /deploy_dev to deploy to the development environment

Alternatively, you can:

  1. Go to Actions tab
  2. Click on "Manual Deploy to Firebase" workflow
  3. Click the "Run workflow" button
  4. Select branch: master
  5. Choose environment: DEV
  6. Enter a deployment message
  7. Click "Run workflow"

@deepsource-io

deepsource-io Bot commented Jun 23, 2025

Copy link
Copy Markdown

Here's the code health analysis summary for commits 9198c0f..98ec814. View details on DeepSource ↗.

Analysis Summary

AnalyzerStatusSummaryLink
DeepSource C# LogoC#✅ SuccessView Check ↗

💡 If you’re a repository administrator, you can configure the quality gates from the settings.

@hariedo

hariedo commented Jun 23, 2025

Copy link
Copy Markdown
Author

/deploy_dev

@github-actions

Copy link
Copy Markdown

🚀 Starting deployment of hariedo/UDC-Bot:master to development...

hariedo added 2 commits June 22, 2025 19:15
!listtips now takes keywords list also, and restricts the listing to those that match
@hariedo

hariedo commented Jun 23, 2025

Copy link
Copy Markdown
Author

/deploy_dev

@github-actions

Copy link
Copy Markdown

🚀 Starting deployment of hariedo/UDC-Bot:master to development...

@hariedo hariedo marked this pull request as ready for review June 23, 2025 00:58
@hariedo hariedo merged commit 28de383 into Unity-Developer-Community:master Jun 26, 2025
5 checks passed
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.

1 participant