Get AWS Credentials in GitHub Codespaces
hey everyone I've written a devcontainer feature that allows you to get AWS credentials for a role in GitHub Codespaces. No copy paste of AWS tokens needed! Let me know what you think!
Get AWS Credentials in GitHub Codespaces launched on November 18, 2022 with 25 votes, #1,131 of 3,471 launches that month and more than 75% of that year's launches. The site was still online in September 2026, 3 years on.
In plain words
Get AWS Credentials in GitHub Codespaces is a devcontainer feature that automatically retrieves AWS credentials for a specified role within GitHub Codespaces environments. It eliminates the need to manually copy and paste AWS tokens, streamlining the setup process for developers working in Codespaces who need AWS access. The tool is designed for development teams using GitHub's cloud-based development environment.
written from the facts on this page · September 2026
From the sources
Assume AWS Roles in Dev Containers / Codespaces. Contribute to saml-to/devcontainer-features development by creating an account on GitHub.
Does a similar job
all alternatives →
Stop Putting AWS Credentials in GitHub Secrets2022 · github.com · ▲88Greetings! I've created a GitHub action that works that allows GitHub Actions to exchange a GitHub token for AWS Access Credentials. I've cultivated a few examples of it in action: https://github.com/saml-to/aws-assume-role-action-examples I've always found management of AWS Credentials has been a pain. So this setting up this Action works like this: 1) A SAML Identity Provider is created in AWS 2) A Role in AWS is set up to trust that Identity Provider 3) A config file is added to the repository indicating which role can be assumed 4) The GitHub Action exchanges the Repo…

AWS credentials management CLI tool2021 · github.com · ▲24POC Nathan Accacio. Contribute to iamarkadyt/aws-auth development by creating an account on GitHub.


1Password Developer Tools2022 · 1password.com · ▲105Develop faster, eliminate complexity, protect your secrets
More dev tools this month
the category →

open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.
Dev tools · 28d ago · github.com

Contribute to reladraw/reladraw development by creating an account on GitHub.
Dev tools · 26d ago · github.com
OpenBot▲362Grok Bot alternative: free, local, open-source, multiplayer
Dev tools · 23d ago · openbot.run
Talanoa▲346Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…
Dev tools · 21d ago · talanoa.email
CoreSpeed▲332One MCP for everything your agents need: apps, memory, tools
Dev tools · 28d ago · corespeed.io
Source: Show HN post ↗
Launched alongside, November 2022
the whole month →



I made a thing! In 2014, I was holding a stack of iPhones and thought to myself: "Hey, if I had each phone display a playing card, I could click a button and they'd shuffle themselves" I pared that idea all the way down to this: trading cards made of e-ink displays. Right now, each card costs me about $20 each, but with only a bit more scale, I think I can get that down to $10. In doing this project, I learned how to design electronics and circuit boards. I learned Rust and wrote my first driver, I upped my CAD skills, 3D printed, and did my first resin casting. I generated the images on the…
Dev tools · 2022 · wyldcard.io

