added_tokens.json

{
  "<filename>": 49152,
  "<gh_stars>": 49153,
  "<issue_comment>": 49155,
  "<issue_start>": 49154
}