@tgrall.bsky.social
Passionate developer and crazy windsurfer β¦ or the opposite. Working at GitHub during the day, coding windr.org at night (early morning to be precise)
Coding Agent Comment to alert about the lack of copilot instructions
New issue and PR created by GitHub Coding Agent to add the Copilot Instructions
Loving how #GitHubCopilot is improving my dev workflow!
It suggested adding a copilot-instructions file π
Then created an issue and a PR to include it in my #GitHub repo β¨
Windsurf pic
πββοΈ This is Windsurf!
π Smashed my PB yesterday:
β’ Vmax: 36.2 knots π¨
β’ 500m: 32.04 knots π
premium request message
And for a single Premium request per session see docs.github.com/en/copilot/c...
15.07.2025 07:16 β π 0 π 0 π¬ 0 π 0
PR Comment for Copilot
With GitHub Copilot Coding Agent π€, I can work on multiple tasks in parallel β coding one feature in VSCode π» while Copilot handles another one in the browser.
github.blog/news-insight...
Strava run map 7.44km
5 pics of the run on the river bank
π Early morning run in Krakow before day 1 of codeeurope.pl
30.06.2025 04:13 β π 2 π 0 π¬ 0 π 0
GitHub demonstration
π GitHub Codespaces and Copilot in action at codeeurope.pl by Dominik Skowron
29.06.2025 17:33 β π 0 π 0 π¬ 0 π 0
Meetup attendees
π§ Attending codeeurope.pl pre-conference meetup « The Intelligence Framework: How to Operationalize GenAl at ScaleΒ Β» with Agnieska Niezgoda from @microsoft.com
29.06.2025 16:11 β π 0 π 0 π¬ 0 π 0
π Heading to Krakow for codeeurope.pl! Excited to dive into @GitHub Copilot history, architecture, deployment, & its impact on dev work. Letβs code the future! π» #CodeEurope #GitHubCopilot
29.06.2025 09:55 β π 6 π 0 π¬ 0 π 0
GitHub Copilot coding agent is now available for Copilot Business users : github.blog/changelog/20...
25.06.2025 11:02 β π 0 π 0 π¬ 0 π 0
π«π· - Documentaire passionnant sur @artefr.bsky.social : www.arte.tv/fr/videos/08...
22.06.2025 02:33 β π 0 π 0 π¬ 0 π 0
Marriott hotel
Walking in Paris β¦ bringing old @devoxx.fr memories
10.06.2025 06:26 β π 8 π 0 π¬ 1 π 0
Announcing Public Preview of the GitHub Copilot app modernization for Java devblogs.microsoft.com/java/public-...
20.05.2025 14:44 β π 4 π 2 π¬ 0 π 0
Realβworld video demo: Using different AI models in GitHub Copilot github.blog/ai-and-ml/re...
13.05.2025 03:23 β π 1 π 2 π¬ 0 π 0
MCP Security Best Practices : modelcontextprotocol.io/specificatio...
04.05.2025 05:37 β π 3 π 0 π¬ 0 π 0
Morning run before @devoxx.fr Day 2
17.04.2025 04:36 β π 2 π 0 π¬ 0 π 0
π
On my way to Paris for Flowcon conference - www.flowcon.io
See you there !
Screenshot of the Copilot chat used to remove unused code
π Using GitHub Copilot for code cleanup assistance!
Asked Copilot to detect and remove unused imports, functions, and types across my codebase. It analyzed files, suggested changes, and cleaned everything up in seconds.
AI-powered refactoring FTW! π #GitHubCopilot #CodeCleanup
Screenshot of Copilot Edits in InrtelliJ
π Big news for JetBrains users! @GitHub "Copilot Edits" is now available for IntelliJ & other JetBrains IDEs! π
Itβs been a wait, but now you can enjoy AI-powered inline editing. Just update your plugin:
π plugins.jetbrains.com/plugin/17718...
Happy coding! π€π₯
It is coming be patient π, for now it is only available in VSCode Insiders.
You can add the mcp server configuration to it either in settings.json or in .vscode/mcp.json see here : www.youtube.com/watch?v=WySJ...
π A few weeks ago, GitHub Copilot introduced Agent Mode, bringing AI-powered automation into our workflows.
Now, weβre taking it one step further with MCP (Model Control Protocol)support!
π Ready to see it in action? Watch now! π
www.youtube.com/watch?v=WySJ...
DYI GPS
DYI Caase for GPS
Developer Desk
π Night Project: Building a GPS for Windsurfing Speed Surfing! πββοΈπ‘
π Open-source & DIY: github.com/RP6conrad/ES...
π― Goal: Seamless session upload to [http://windr.org](windr.org)
Stay tuned! β³π
Copilot prompt to get the list of departments and the beginning of the suggestions
@GitHub #Copilot I love you!
09.03.2025 14:03 β π 0 π 0 π¬ 0 π 0
This one is great : youtube.com/playlist?lis... (2/3 years old)
01.03.2025 04:25 β π 1 π 0 π¬ 0 π 0
π Let GitHub Copilot do the writing!
Watch how I use Copilot Edits to generate documentation for SpringBoot Petclinic project straight from the codebaseβERD, UML, web navigation & moreβall with a simple prompt! π€π
π Watch now: youtu.be/q6i9uxrWXoQ
#GitHubCopilot #AI #DeveloperTools
Just started watching This Is Us π¬βhands down one of the best shows Iβve seen. An emotional roller coaster π’π with twists at every turn! π₯
πΊ IMDB: www.imdb.com/title/tt5555... #ThisIsUs
Deprecation of beta GitHub Copilot usage API endpoint github.blog/changelog/20...
22.02.2025 05:27 β π 1 π 0 π¬ 0 π 0
Model selector for completion in IntelliJ
π Exciting updates for @intellijidea.com @jetbrains.com users who love GitHub Copilot:
- New GPT-4o-powered completion model π€
- Project context support ποΈ
- AI-generated commit messages βοΈ
...and more!
π github.blog/changelog/20...
π github.blog/changelog/20...
π Watch GitHub Copilot Agent Mode in action! π€
I set up Next.js internationalization by asking and validatingβthe AI handled everything else! πΏ
Try it yourself in VSCode Insider and let me know your thoughts! π¬
π₯ [https://www.youtube.com/watch?v=9NcmbTMjp_0](www.youtube.com/watch?v=9Ncm...)
GitHub Copilot code completions now in public preview for Eclipse github.blog/changelog/20...
13.02.2025 20:03 β π 1 π 0 π¬ 0 π 0
πHow GitHub uses CodeQL to secure GitHub github.blog/engineering/...
13.02.2025 07:07 β π 1 π 0 π¬ 0 π 0
