why not use pulumi for the ion example?

[ryanleecode]

https://upstash.com/docs/redis/quickstarts/ion

import * as upstash from '@upstash/pulumi'

const upstashProvider = new upstash.Provider(
  'Upstash',
  {
    apiKey: process.env.UPSTASH_API_KEY,
    email: process.env.UPSTASH_EMAIL,
  },
  { parent: this },
)

sst.linkable(upstash.RedisDatabase, (redis) => ({
  properties: {
    endpoint: redis.endpoint,
    restToken: redis.restToken,
  },
}))

const redis = new upstash.RedisDatabase(
  'Redis',
  {
    region: 'us-east-1',
    databaseName: $interpolate`my-app-${$app.stage}-redis`,
    eviction: true,
    tls: true,
  },
  { provider: upstashProvider, parent: this },
)

new sst.aws.Nextjs('Web', {
    link: [redis],
})

[buggyhunter]

Hey @ryanleecode
would you like to contribute? very appreciated.