home / github / issue_comments

Menu
  • Search all tables
  • GraphQL API

issue_comments: 1196453161

This data as json

html_url issue_url id node_id user created_at updated_at author_association body reactions performed_via_github_app issue
https://github.com/pydata/xarray/issues/6833#issuecomment-1196453161 https://api.github.com/repos/pydata/xarray/issues/6833 1196453161 IC_kwDOAMm_X85HUG0p 14808389 2022-07-27T08:58:30Z 2022-07-27T09:06:29Z MEMBER

there are still cases where it would be good to allow pushing to main, the most notable being the release bump / cleanup (but maybe we can temporarily allow pushes for that?).

There's a few settings in git you can use to make this harder, though: - set the default push remote for main to your own fork: that way, you can still explicitly push (git push origin main), but the usual git push will push to your fork (instead of editing .git/config directly you can also use magit's P C menu, if you use emacs and magit): ini [remote] pushDefault = myfork # to generally avoid pushing to the main repository [branch "main"] pushRemote = myfork # specifically for main - create a pre-push hook that will refuse pushing to main (you can still disable it with git push --no-verify)

{
    "total_count": 1,
    "+1": 1,
    "-1": 0,
    "laugh": 0,
    "hooray": 0,
    "confused": 0,
    "heart": 0,
    "rocket": 0,
    "eyes": 0
}
  1318800553
Powered by Datasette · Queries took 0.825ms · About: xarray-datasette