now also generating the github copilot instructions file

Author: mikecann

build_release.py

@@ -10,6 +10,12 @@
 
 """
 
+GITHUB_COPILOT_FRONTMATTER = """---
+applyTo: "**/*.ts,**/*.tsx,**/*.js,**/*.jsx"
+---
+
+"""
+
 
 def main():
  os.makedirs("dist", exist_ok=True)
@@ -37,6 +43,11 @@ def main():
  f.write(MDC_FRONTMATTER)
  f.write(build_release_rules())
 
+ # Instructions for GithubCopilot
+ with open("dist/convex.instructions.md", "w") as f:
+ f.write(GITHUB_COPILOT_FRONTMATTER)
+ f.write(build_release_rules())
+
 
 if __name__ == "__main__":
  main()