Skip to content

Conversation

@dilanbhalla
Copy link
Contributor

Upon completion of auto/sync-main-pr pull request (syncs upstream commits), this workflow runs and also syncs upstream tags.

bdrodes and others added 30 commits January 28, 2025 14:41
…ition

Brodes/open source query transition
…ifications to the shared dataflow library files.
Java: Update file that was forgotten in #157
…cation-labels

TEMPORARY: Remove JavaScript Deprecation Labels
Add Microsoft-Public Namespace to Query IDs
…after-2.20.4

PS: Fixup CFG library in preparation for 2.20.4
Compatible with the latest released version of the CodeQL CLI
…-tests

Include Tests for Microsoft Open Source Queries
Copilot AI review requested due to automatic review settings April 21, 2025 19:24
@dilanbhalla dilanbhalla requested review from a team as code owners April 21, 2025 19:24
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

This PR introduces several automation changes to keep the codebase in sync with upstream changes, including upstream commits and tags. Key changes include:

  • Adding an example file for leap year checking logic.
  • Updating change notes and security documentation.
  • Adding new GitHub workflows for syncing the main branch, tags, and running a PowerShell PR check.

Reviewed Changes

Copilot reviewed 1837 out of 1849 changed files in this pull request and generated 2 comments.

Show a summary per file
File Description
cpp/ql/src/Likely Bugs/Leap Year/examples/LeapYearConditionalLogicBad.c Adds sample leap year logic demonstrating conditional paths.
cpp/ql/lib/change-notes/2023-10-12-additional-call-targets.md Documents the addition of a new class for specifying additional call targets.
SECURITY.md Introduces updated security guidelines and reporting instructions.
README.md Minor documentation updates in the tasks section.
.github/workflows/sync-main.yml Automates syncing of upstream changes into the main branch, including PR creation.
.github/workflows/sync-main-tags.yml Automates syncing of upstream tags upon merging a PR.
.github/workflows/powershell-pr-check.yml Adds a workflow to compile PowerShell queries on pull requests.
Files not reviewed (12)
  • cpp/ql/lib/experimental/cryptography/utils/OpenSSL/CryptoFunction.qll: Language not supported
  • cpp/ql/lib/semmle/code/cpp/models/implementations/Iterator.qll: Language not supported
  • cpp/ql/src/Likely Bugs/Leap Year/Adding365DaysPerYear.ql: Language not supported
  • cpp/ql/src/Likely Bugs/Leap Year/AntiPattern5InvalidLeapYearCheck.ql: Language not supported
  • cpp/ql/src/Likely Bugs/Leap Year/LeapYearConditionalLogic.qhelp: Language not supported
  • cpp/ql/src/Likely Bugs/Leap Year/LeapYearConditionalLogic.ql: Language not supported
  • cpp/ql/src/Likely Bugs/Leap Year/UncheckedLeapYearAfterYearModification.qhelp: Language not supported
  • cpp/ql/src/Likely Bugs/Leap Year/UncheckedLeapYearAfterYearModification.ql: Language not supported
  • cpp/ql/src/Likely Bugs/Leap Year/UncheckedReturnValueForTimeFunctions.qhelp: Language not supported
  • cpp/ql/src/Likely Bugs/Leap Year/UncheckedReturnValueForTimeFunctions.ql: Language not supported
  • cpp/ql/src/Likely Bugs/Leap Year/UnsafeArrayForDaysOfYear.qhelp: Language not supported
  • cpp/ql/src/Likely Bugs/Leap Year/UnsafeArrayForDaysOfYear.ql: Language not supported



// Checking specifically for the leap day
if (month == 2 && day == 29) // (or 1 with a tm_mon value)
Copy link

Copilot AI Apr 21, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Clarify the comment to explicitly state whether the literal '2' represents the calendar month or if the alternate value '1' is used when working with tm_mon (which is typically 0-indexed), to avoid confusion.

Copilot uses AI. Check for mistakes.
shell: bash
run: |
echo "::group::Sync with main branch"
git pull origin auto/sync-main-pr; exitCode=$?; if [ $exitCode -ne 0 ]; then exitCode=0; fi
Copy link

Copilot AI Apr 21, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

[nitpick] Consider replacing the custom exit code handling with a more standard approach (such as appending '|| true' to the git pull command) to improve readability and maintainability.

Suggested change
git pull origin auto/sync-main-pr; exitCode=$?; if [ $exitCode -ne 0 ]; then exitCode=0; fi
git pull origin auto/sync-main-pr || true

Copilot uses AI. Check for mistakes.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

7 participants